Почему следующий код компилируется

Question

#include<iostream> 
using namespace std; 
class Foo { 
void Bar(void) const ; 
}; 
int main() 
{ 
    Foo f; 
    cout<<sizeof(f)<<endl; 
} 

Я запустил это на g ++, это не дало мне никакой ошибки компиляции. Кроме того, он выполнил задание o/p 1, которое является правильным. Но я ожидал ошибки при связывании. Является ли этот компилятор зависимым?

Answer 1

Я могу только представить, что вы ожидали получить ошибку, так как Foo::Bar не определен. Правило одного определения в стандарте требует только того, чтобы были определены элементы. В вашем конкретном случае ничто в вашей программе не используетFoo::Bar, поэтому программа не нуждается в этом определении.

Answer 2

Это будет ссылка, потому что нет никаких замечательных ссылок на Foo :: Bar, и там для его определения не требуется. Если бы вы на самом деле пытались позвонить, например, f.bar(), это дало бы вам ошибку.

Answer 3

Ошибка компоновщика, поскольку все зависимости разрешены.

Как только вы вызываете метод Bar() и не определяете его, вы получите ошибку компоновщика. Потому что тогда вы ссылаетесь на Bar(), и компоновщик не может его решить.