Ответ 1

Стандарт требует (раздел 9.4.2):

A static член данных типа literal может быть объявлен в определении класса с помощью спецификатора constexpr; если это так, в его декларации указывается логический или равный-инициализатор, в котором каждое предложение-инициализатор, являющееся выражением-присваивания, является постоянным выражением.

В вашей "второй попытке" и в ответе Илии в декларации нет элемента с выравниванием или равным.

Ваш первый код верен. К сожалению, gcc 4.6 не принимает его, и я не знаю, где угодно, чтобы удобно попробовать 4.7.x(например, ideone.com все еще застрял на gcc 4.5).

Это невозможно, потому что, к сожалению, стандарт не позволяет инициализировать статический элемент данных constexpr в любом контексте, где класс завершен. Специальное правило для атрибутов с выравниванием/равными в 9.2p2 применяется только к элементам нестатических, но это статическое.

Наиболее вероятной причиной этого является то, что переменные constexpr должны быть доступны как константы постоянной времени компиляции изнутри тел функций-членов, поэтому инициализаторы переменных полностью определены перед телами функции, что означает, что функция все еще неполна (undefined) в контексте инициализатора, а затем это правило срабатывает, делая выражение не постоянным выражением:

вызов функции undefined constexpr или конструктора undefined constexpr вне определения функции constexpr или конструктора constexpr;

Рассмотрим:

class C1
{
  constexpr static int foo(int x) { return x + bar; }
  constexpr static int bar = foo(sizeof(int));
};

Ответ 2

1). Пример Ilya должен быть недопустимым кодом на основе того факта, что строка элемента static constexpr data​​strong > инициализируется вне линии, нарушая следующую инструкцию в стандарте:

9.4.2 [class.static.data] p3:... Статический член данных типа literal может быть объявлен в определении класса с помощью спецификатора constexpr; если это так, в его декларации указывается выравнивающий или равный-инициализатор в который каждый оператор-инициализатор, являющийся выражением присваивания, является постоянное выражение.

2) Код в вопросе MvG:

class C1 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar = foo(sizeof(int));
};

действителен, насколько я вижу и интуитивно ожидал, что он будет работать, потому что статический член foo (int) определяется временной обработкой запуска бара (при условии обработки сверху вниз). Некоторые факты:

• Я согласен с тем, что класс C1 не является полным в точке вызова foo (на основе 9.2p2) , но полнота или неполнота класса C1 ничего не говорит о том, определена ли foo как далеко как стандарт.
• Я искал стандарт для определения функций-членов, но ничего не нашел.
• Итак, утверждение, упомянутое Беном, здесь не применяется, если моя логика верна:

  вызов функции undefined constexpr или undefinedconstexpr вне определения функции constexpr или конструктор constexpr;

class C1
{
  constexpr static int foo() { return bar; }
  constexpr static int bar = foo();
};

выглядит недействительным, но по разным причинам, а не просто потому, что foo вызывается в инициализаторе строки. Логика выглядит следующим образом:

• foo() вызывается в инициализаторе статической строки constexpr, поэтому он должен быть постоянным выражением (на 9.4.2 p3).
• так как он вызывает функцию constexpr, подменяет вызов функции (7.1.5 p5).
• Они не являются параметрами для функции, поэтому в левом заключается "неявное преобразование полученного возвращаемого выражения или файла braced-init-list в возвращаемый тип функции, как если бы это была операция копирования". (7.1.5 p5)
• выражение return - это просто bar, который является lvalue и требуется преобразование lvalue-to-rval.

• но с помощью пули 9 в (5.19 p2), которая не соответствует не, потому что она еще не инициализирована:

  • преобразование lvalue-to-rvalue (4.1), если оно не применяется к:
    • значение целочисленного или перечисляемого типа, которое относится к энергонезависимому объекту const с предшествующей инициализацией, инициализированным константным выражением.

• следовательно, преобразование lvalue-to-r bar не приводит к тому, что константное выражение не удовлетворяет требованию в (9.4.2 p3).

• поэтому по ошибке 4 в (5.19 p2) вызов foo() не является постоянным выражением:

  вызов функции constexpr с аргументами, которые при замене подстановкой вызова функции (7.1.5) не создают константное выражение

Ответ 3

#include <iostream>

class C1 
{
public:
    constexpr static int foo(constexpr int x)
    { 
        return x + 1;
    }

    static constexpr int bar;
};

constexpr int C1::bar = C1::foo(sizeof(int));

int main()
{
    std::cout << C1::bar << std::endl;
    return 0;
}

Такая инициализация работает хорошо, но только на clang

Ответ 4

Вероятно, проблема здесь связана с порядком декларации/определений в классе. Как вы все знаете, вы можете использовать любой член еще до того, как он будет объявлен/определен в классе.

Когда вы определяете значение constexpr в классе, компилятор не имеет функции constexpr, доступной для использования, потому что она находится внутри класса.

Возможно, ответ Philip, связанный с этой идеей, является хорошим моментом для понимания вопроса.

Обратите внимание на этот код, который компилируется без проблем:

constexpr int fooext(int x) { return x + 1; }
struct C1 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar = fooext(5);
};

constexpr static int barext = C1::foo(5);