Constexpr массив в заголовке
У меня есть следующий код в файле заголовка, который включен в 2 разных файла cpp:
constexpr int array[] = { 11, 12, 13, 14, 15 };
inline const int* find(int id)
{
auto it = std::find(std::begin(array), std::end(array), id);
return it != std::end(array) ? &*it : nullptr;
}
Затем я вызываю find(13) в каждом из файлов cpp. Будут ли оба указателя, возвращаемые find(), указывать на один и тот же адрес в памяти?
Причина, по которой я спрашиваю, заключается в том, что у меня в моем проекте есть похожий код, и иногда он работает, а иногда нет. Я предполагал, что оба указателя будут указывать на одно и то же место, но на самом деле у меня нет оснований для этого предположения :)
@drRobertz Не всегда, больше ...
Вопрос по-прежнему повторяется (помечены как C++ 17 и C++ 11), так что ответьте и на другой ;-)
Ответы 2
Я не могу претендовать на то, чтобы быть экспертом в этом, но согласно это сообщение в блоге, код, который у вас есть, должен делать то, что вы хотите в C++ 17, потому что constexpr тогда подразумевает inline, и эта страница говорит (и я верю этому):
A variable declared inline has the same semantics as a function declared inline: it can be defined, identically, in multiple translation units, must be defined in every translation unit in which it is used, and the behavior of the program is as if there was exactly one variable.
Итак, нужно сделать две вещи:
- убедитесь, что вы компилируете как C++ 17
- объявить
arrayкакconstexpr inline, чтобы вызвать ошибку компилятора на более старых компиляторах (и чтобы убедиться, что вы действительно получаете желаемую семантику - см. комментарии ниже)
Я верю, что так и будет.
Я считаю, что это изменение в constexpr предназначено только для членов класса static, но не цитируйте меня и по этому поводу.
@Quentin constexpr inline int array[] = { 11, 12, 13, 14, 15 }; компилируется вне класса, см. здесь. Мне очень нравится эта новая функция компилятора.
Я неправильно написал. Я имею в виду, что переменные constexpr, которые неявно встроены, применяются к членам класса, глобальные переменные constexpr по-прежнему неявно являются static AFAIK.
@ Квентин Да ладно, может быть, я неправильно понял. OP тогда, пожалуйста, посоветуйте включить ключевое слово inline, которое я рекомендовал в любом случае.
В C++ 11 и C++ 14:
В вашем примере array имеет внутренняя связь (см. [basic.link] /3.2), что означает, что он будет иметь разные адреса в разных единицах трансляции.
Таким образом, включение и вызов find в разных единицах трансляции является нарушением ODR (поскольку его определение отличается).
Простое решение - объявить его extern.
В C++ 17:
[basic.link] /3.2 изменился так, что constexpr может быть inline, и в этом случае не влияет на связь больше не будет.
Это означает, что если вы объявите arrayinline, у него будет внешняя связь и один и тот же адрес во всех единицах трансляции. Конечно, как и в случае с любым inline, он должен иметь одинаковое определение во всех единицах перевода.
@PaulSanders - неясно, спрашивает OP о C++ 11 или C++ 17. Исходя из того, что он «не работает», я беру C++ 11. Но добавил немного о C++ 17.
Что ж, надеюсь, у ОП есть выбор. Кажется, даже в MSVC есть, см. здесь.
Я компилировал как C++ 14, но в недавних обновлениях Android Studio стал доступен C++ 17, поэтому я изменил его на 17, и теперь он работает. Спасибо за объяснение, почему это не сработало и почему теперь работает :)
Кстати, ваша ссылка о неявных встроенных состояниях, что только функции и статические элементы данных неявно встроены. В случае моего массива это должен быть inline constexpr.
s / should / must /, я думаю!
Возможный дубликат Стандарт с ++: есть ли внутренняя связь переменных constexpr с областью имен?