Поскольку операнд оператора sizeof не оценивается, вы можете сделать это:
int f(); //no definition, which means we cannot call it
int main(void) {
printf("%d", sizeof(f()) ); //no linker error
return 0;
}
Онлайн-демонстрация: http://ideone.com/S8e2Y
То есть вам не нужно определятьфункция f, если она используется только в sizeof.Этот метод в основном используется в метапрограммировании шаблонов C ++, поскольку даже в C ++ операнд sizeof не оценивается.
Почему это работает?Это работает, потому что оператор sizeof не работает с значением , а работает с типом выражения.Поэтому, когда вы пишете sizeof(f()), он работает с типом выражения f() и является ничем иным, как типом возврата функции f.Тип возвращаемого значения всегда один и тот же, независимо от того, какое значение возвращает функция, если она действительно выполняется.
В C ++ вы можете даже это сделать:
struct A
{
A(); //no definition, which means we cannot create instance!
int f(); //no definition, which means we cannot call it
};
int main() {
std::cout << sizeof(A().f())<< std::endl;
return 0;
}
Тем не менее, похоже, что в sizeof, я сначала создаю экземпляр A, пишу A(), а затем вызываю функцию f для экземпляра, пишу A().f(), но ничего подобного не происходит.
Демо: http://ideone.com/egPMi
Вот еще одна тема, которая объясняет некоторые другие интересные свойства sizeof: