struct A {
int a = 0;
constexpr A() { a = 1; }
};
constexpr bool f() {
constexpr A a;
static_assert(a.a == 1, ""); // L1: OK
return a.a == 1;
}
static_assert(f(), ""); // L2: Error, can not modify A::a in constexpr
< /code>
URL Compiler < /li>
Компилятор: Clang 3.4 (с -Std = c ++ 1y) < /li>
Система: Linux 3.2 < /li>
< /ul>
если я delete l2, этот код. Если я добавляю L2, компилятор жаловался на «модификацию объекта постоянного квалифицированного типа 'const int' не допускается в постоянном выражении». Я не юрист языка, поэтому я не уверен, правда ли это. Однако, если это так, то почему компилятор ничего не жаловался на L1, поскольку он также назвал a () как contexpr? Это ошибка кланг? Или я что -то пропустил? к "a;" (Удалить ключевое слово contexpr), L1 не удалось скомпилировать, что ожидается. Тем не менее, компилятор больше не жаловался на L2.
Url компилятора онлайн -компилятора об этом
Подробнее здесь: https://stackoverflow.com/questions/236 ... ructor-c14
