static_assert для initializer_list::size()

Компилятор говорит, что проблема в init, а не в init.size().

Я предполагаю, что конструктор может быть вызван из разных мест с инициализаторами разной длины.

(Для уточнения: вы пытаетесь написать static_assert, которая зависит от значения времени выполнения переменной init, а именно от того, сколько элементов она имеет. static_assert должны быть вычислимы в момент выполнения функции. скомпилирован Ваш код аналогичен этому тривиально недопустимому примеру :)

void foo(int i) { static_assert(i == 42, ""); }
int main() { foo(42); }  // but what if there's a caller in another translation unit?

«Списки инициализаторов» — просто ужасные кладжи.

Не делайте:

#include <initializer_list>

template<typename T>
void Dont(std::initializer_list<T> list) { // Bad!
    static_assert(list.size() == 3, "Exactly three elements are required.");
}

void Test() { Dont({1,2,3}); }

Do:

template<typename T, std::size_t N>
void Do(const T(&list)[N]) { // Good!
    static_assert(N == 3, "Exactly three elements are required.");
}

void Test() { Do({1,2,3}); }

Из моего обсуждения с @Evgeny я понял, что это просто работает (с gcc 4.8 c++11) и может также выполнять проверку размера, только принимая совместимый размер в списке инициализаторов (в main).

(кодовая ссылка: http://coliru.stacked-crooked.com/a/746e0ae99c518cd6)

#include<array>
template<class T, int Length>
class Point
{
  public:
    Point(std::array<T, Length> init)
    {
//not needed//      static_assert(init.size() == Length, "Wrong number of dimensions");
    }
};

int main()
{
  Point<int, 3> q({1,2,3}); //ok
//  Point<int, 3> q2({1,2,3,4}); //compile error (good!)
  Point<int, 3> q2({1,2}); // ok, compiles, same as {1,2,0}, feature or bug?
  return 0;
}

Используйте следующий синтаксис:

РЕАЛЬНАЯ ДЕМО

#include <initializer_list>

template<class T, int Length>
class Point
{
    std::initializer_list<T> data;
public:
    constexpr Point(std::initializer_list<T> init)
        : data
        (
            init.size() == Length ?
            init : throw 0
        )
    {}
};

int main()
{
    constexpr Point<int, 3> a{{1,2,3}};
    constexpr Point<int, 2> b{{1,2,3}}; // compile time error
}

Обратитесь к после SO.

РЕДАКТИРОВАТЬ: интересно, что работает на GCC 4.8.1, но не работает на Clang 3.4. Возможно, это связано с constexpr из .size() (афаик, в С++ 14 это constexpr).

Я действительно не понял, что здесь происходит.

Если я скажу

const std::initializer_list<double> li = { 1, 2.5, 3.7, 4.3 };
static_assert(li.size() == 4, "fail");

Я получаю жалобу на то, что «li» не был объявлен «constexper».

Но если я скажу

constexpr std::size_t dSize(std::initializer_list<double> di)
{
    return di.size();
}

тогда

static_assert(dSize({1, 2.5, 3.7, 4.3}) == 4, "failed");   // works

но

static_assert(dSize(li) == 4, "failed");

завершается с ошибкой: значение «li» нельзя использовать в постоянном выражении.

Это все с -std=c++11

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