В чем разница между int a() и int a=int()?

Question

[Даниил Демидко]

Понимаю, звучит глупо, и я бы не спрашивал, если бы не поэкспериментировал в консоли

int first (); //  first == 1
int two = int (); // two == 0

Но почему так?
Для не примитивных типов что AnyType anyObject () , что AnyType anyObject = AnyType () - вызов конструктора, а с примитивами?

Answer 1

[MiiNiPaa]

А теперь выведите typeid(first).name() на экран и удивитесь.

Первая строчка это объявление функции first без параметров и возвращающая int. Имя функции превращается в указатель, указатель конвертируется в bool (true), который конвертируется в int (1).

Comments

[Даниил Демидко]

Не знал, что в теле ф-ции можно объявлять прототипы ф-ций, спасибо.
Тогда сразу можно еще вопрос, почему адрес ф-ции при выводе на консоль преобразуется в bool ?

[MiiNiPaa]

Даниил Демидко: Перегрузки оператора вывода, принимающей указатель на функцию нет, поэтому рассматриваются неявные преобразования. Любой указатель может быть преобразован в bool для теста на NULL.

[MiiNiPaa]

Даниил Демидко: В С++, в целях совместимости с С есть такая штука, называемая Most Vexing Parse. Суть такова: если что-то МОЖЕТ быть распознано как объявление функции, оно БУДЕТ распознано как объявление функции.

Answer 2

[Василий]

неявное приведение типов или как отстрелить себе ногу в С и С++