Почему sizeof ( somefunc ) == 1?

Question

[Игорь]

Уважаемые знатоки Си, внимание вопрос:

Я всегда считал, что довольно хорошо знаю Си. Но недавно я столкнулся с вот такой вот особенностью:

int main(){
    printf ( "%x %x\n" , sizeof ( &main ) , &main ) ;
    printf ( "%x %x\n" , sizeof ( main ) , main ) ;
    return 0 ;
}

и на выводе получил:

8 87a05a0
1 87a05a0

В первой строке выводятся вполне ожидаемые значения. Во второй строке значение main, как я и ожидал, совпадает с &main, а вот то, что sizeof ( main ) равно 1 меня удивило.
Кто-нибудь мне обьяснит, почему это так ?

Answer 1

[Rsa97]

https://msdn.microsoft.com/ru-ru/library/4s7x1k91.aspx

Оператор sizeof никогда не создает результат 0, даже для пустого класса.
Оператор sizeof не может использоваться со следующими операндами:
Функции. (Однако оператор sizeof можно применять к указателям на функции.)

Comments

[Игорь]

Спасибо, хоть кто-то по-русски объяснил. А я почему-то всегда считал, что когда пишешь имя функции без параметров — это тоже самое что и указатель на функцию.

[res2001]

Игорь, Вообще то так и есть, о чем свидетельствует ваш же опыт - второе значение в обоих случаях одинаково - т.е. это адрес.
Исходя из ответа Rsa97, для записи sizeof(main) компилятор должен бы выдать ошибку.
PS: g++ так и делает:
error: ISO C++ forbids applying 'sizeof' to an expression of function type

[Rsa97]

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

[res2001]

Rsa97, Ошибка - логичное решение в этом случае, имхо. А выдавать 1 ... это о чем вообще? Тогда уж лучше бы выдавал значение аналогичное sizeof(&main) - тут хоть есть какая-то логика.
Интересно какой компилятор использовал Игорь ?

[Rsa97]

res2001, Implementation-defined behavior. Поведение, зависящее от реализации. Похоже на unspecified behavior, но в документации к системе должно быть указано, какое именно поведение реализовано.

[Игорь]

res2001, использую в основном gcc, ещё пробовал tcc - тот же результат.

ЗЫ. интересно было бы, если бы sizeof ( main ) возвращал размер самого кода в байтах.

Answer 2

[GavriKos]

https://stackoverflow.com/questions/3838866/what-i...