Я скомпилировал и запустил следующую программу в компиляторе C++17 (Coliru). В программе я объявил переменную extern, но не определил ее. Однако компилятор не выдает ошибку компоновщика.
#include <iostream>
extern int i; // Only declaration
int func()
{
if constexpr (true)
return 0;
else if (i)
return i;
else
return -1;
}
int main()
{
int ret = func();
std::cout<<"Ret : "<<ret<<std::endl;
}
Почему компилятор не выдает ошибку компоновщика?
Потому что переменная не используется odr. У вас есть constexpr if, который всегда отбрасывает ветку, которая может его использовать.
Одним из пунктов constexpr if является то, что отброшенная ветвь даже не должна компилироваться, а должна быть правильно сформирована. Вот как мы можем размещать вызовы несуществующих функций-членов в отброшенной ветке.
constexpr if на обычный if, то я также не получу ошибку компоновщика. Почему?
- person Rakete1111; 11.07.2017
В вашем случае переменная используется только в отброшенных операторах. Однако, даже если мы проигнорируем этот факт, спецификация языка C++ по-прежнему явно указывает, что диагностика не требуется для отсутствующих определений.
3.2 Правило с одним определением
4 Каждая программа должна содержать ровно одно определение каждой невстроенной функции или переменной, которая используется в этой программе за пределами отброшенного оператора (6.4.1); диагностика не требуется.
Спецификация языка понимает, что оптимизирующий компилятор может быть достаточно умен, чтобы исключить все виды использования переменной odr. В этом случае было бы чрезмерным и ненужным требовать от реализации обнаружения потенциальных нарушений ODR и сообщения о них.
#error.
- person AnT; 11.07.2017
#error, требуется только выдать диагностику, а программа плохо сформирована (тогда как #warning не отображает программа некорректна). См. §16.5 [N4140, cpp.error]. (Обновление: #warning не является частью стандарта.)
- person Arne Vogel; 11.07.2017
static_assert, но это неважно.
- person Deduplicator; 11.07.2017
static_assert(!"do not format harddrive"); может создать исполняемый файл, который форматирует жесткий диск. Он также должен генерировать диагностику, но стандарт не устанавливает никаких ограничений на то, что компилятор делает с неправильно сформированной программой. Не то чтобы это имело значение, так как это может сделать только враждебный компилятор.
- person Yakk - Adam Nevraumont; 11.07.2017
Поскольку компилятор выдает ошибки компилятора, компоновщик выдает ошибки компоновщика...
Нет, серьезно:
if constexpr (true)
всегда истинно, поэтому компилятор игнорирует остальную часть предложения if, потому что оно никогда не достигается. Так что i на самом деле никогда не используется.
На этот вопрос уже был дан ответ, но если вам интересно, cppreference.com имеет именно этот пример для constexpr if:
Constexpr Если
Оператор, начинающийся с
if constexpr, известен как оператор constexpr if.В операторе constexpr if значение условия должно быть контекстно преобразованным константное выражение типа bool. Если значение равно true, то statement-false отбрасывается (если присутствует), в противном случае statement-true отбрасывается.
[...]
Отброшенный оператор может odr-использовать переменную, которая не определенный:
extern int x; // no definition of x required
int f() {
if constexpr (true)
return 0;
else if (x)
return x;
else
return -x;
}
