Что означает это предупреждение в orwell dev C ++ IDE? [Дубликат]

Question

Что означает это предупреждение в orwell dev C ++ IDE? [Дубликат]

0

Я недавно написал ниже простую программу, но компилятор показывает предупреждение.

#include <iostream>
int main()
{
    int a();
    std::cout<<a;
    return 0;
}

[Warning] адрес 'int a()' всегда будет оцениваться как 'true' [-Waddress]

В чем смысл вышеупомянутого предупреждения? Почему значение a равно 1 не 0?

Destructor 16 сен. 2014, в 15:39

Источник

5

int a(); это объявление функции.
taocp 16 сен. 2014, в 13:39
2

en.wikipedia.org/wiki/Most_vexing_parse
CoryKramer 16 сен. 2014, в 13:40
2

Это самый неприятный синтаксический анализ ... в грамматике C ++ есть неоднозначность, поэтому все, что можно интерпретировать как объявление функции, будет.
Shafik Yaghmour 16 сен. 2014, в 13:40
0

@Shafik Технически это не самый неприятный разбор, хотя это связано.
Lightness Races in Orbit 16 сен. 2014, в 13:47
4

@LightnessRacesinOrbit Я сам спросил Скотта, и он сказал, что считает все двусмысленности самым неприятным разбором. У меня было это обсуждение несколько раз, и я просто написал ему письмо и спросил, так как он придумал этот термин.
Shafik Yaghmour 16 сен. 2014, в 13:47
0

Вопрос, который я упомянул выше, не является идеальным дубликатом, но он близок, я не могу найти лучшего.
Shafik Yaghmour 16 сен. 2014, в 13:55
0

@LightnessRacesinOrbit: Поведение вышеуказанной программы не определено? Если да, то почему?
Destructor 25 нояб. 2015, в 08:51
0

@PravasiMeet: Почему, спустя год, вы вдруг думаете, что это будет неопределенным? Предупреждение буквально говорит вам, что вы всегда можете ожидать определенного значения здесь.
Lightness Races in Orbit 25 нояб. 2015, в 09:45
0

@LightnessRacesinOrbit: Это нарушение ODR, для которого не требуется никакой диагностики, что означает, что мой код имеет UB. получил мой ответ.
Destructor 25 нояб. 2015, в 09:46
1

@PravasiMeet: О, вы имеете в виду из-за отсутствия определения и использования odr ?
Lightness Races in Orbit 25 нояб. 2015, в 11:27
0

@LightnessRacesinOrbit: точно. правильно
Destructor 25 нояб. 2015, в 13:52
0

@PravasiMeet: Хорошо :)
Lightness Races in Orbit 25 нояб. 2015, в 15:09

Показать ещё 10 комментариев

Теги:

c++

warnings

2 ответа

3

Это может выглядеть как определение a как int, но:

int a();

объявляет функцию a без параметров и возвращает int.

Использование:

int a{};

вместо.

std::cout<<a;

вызывает operator<<() с bool который всегда отличен от нуля, отсюда и true.

Paul Evans 16 сен. 2014, в 11:24

Ещё вопросы

Это самый неприятный синтаксический анализ ... в грамматике C ++ есть неоднозначность, поэтому все, что можно интерпретировать как объявление функции, будет.
@Shafik Технически это не самый неприятный разбор, хотя это связано.
@LightnessRacesinOrbit Я сам спросил Скотта, и он сказал, что считает все двусмысленности самым неприятным разбором. У меня было это обсуждение несколько раз, и я просто написал ему письмо и спросил, так как он придумал этот термин.
Вопрос, который я упомянул выше, не является идеальным дубликатом, но он близок, я не могу найти лучшего.
@LightnessRacesinOrbit: Поведение вышеуказанной программы не определено? Если да, то почему?
@PravasiMeet: Почему, спустя год, вы вдруг думаете, что это будет неопределенным? Предупреждение буквально говорит вам, что вы всегда можете ожидать определенного значения здесь.
@LightnessRacesinOrbit: Это нарушение ODR, для которого не требуется никакой диагностики, что означает, что мой код имеет UB. получил мой ответ.
@PravasiMeet: О, вы имеете в виду из-за отсутствия определения и использования odr ?

Mike Seymour · Accepted Answer · 2014-09-16T10-50-00.000Z

int a(); объявляет функцию, а не переменную. Если вы хотите быть нулевой инициализируется переменная, то вам нужен один из a

int a{};  // C++11 or later
int a = int();
int a(0);
int a = 0;

<< не имеет перегрузки, которая может непосредственно принимать функцию; поэтому он ищет подходящую последовательность преобразования для типа, в котором она перегружена, и находит:

int() -> int(*)() -> bool

то есть, используя стандартные преобразования "от функции к указателю" и конверсии "указатель-в-булево". Указатель функции не будет пустым, так как объявленная функция должна существовать и иметь адрес; поэтому логическое значение будет true.