Статических утверждать размер типа шаблона на конкретизации

Question

Я хочу, чтобы проверить размер следующей структуры на конкретизации с static_assert сдерживать, что неназванный struct плотно упакован, таким образом, размер A эквивалентен sizeof(T) * 3.

template <typename T> 
struct A 
{ 
    union 
    { 
     struct { T a, b, c; }; 
     T arr[3]; 
    }; 
}; 

Это может быть сделано с

static_assert(sizeof(A<T>) == sizeof(T) * 3, "hey something went wrong"); 

Однако

• поскольку A<T> еще неполный тип внутри определения класса, поставив выше static_assert в определении класса является не вариант

• static_assert с sizeof не оценивает внутри не-инстанцирован функций во всех составителей (как Clang), поэтому положить его в фиктивную функцию-член не вариант

• static_assert положить в конструктор или деструктор будет решением , но в приведенном выше примере не определенный пользователем конструктор не существует (думаю о агрегатов), кроме того, представить себе случай нескольких конструкторах, где я хотел бы избежать выполнения утверждение во всех из них

• наследуя A от другого структуры , и выполнение static_assert по тому, что в de FINITION из A был бы решением, но я хочу, чтобы держать STRUCT простой, без баловаться с хелперов структур

Любое другое решение, которое я не хватает?

Я решил восстановить этот вопрос и оставить его открытым для возможных решений в будущем.

Answer 1

Одна специальная функция члена (почти) гарантированно инстанцировано является деструктором:

~A() noexcept { static_assert(sizeof(A<T>) == sizeof(T) * 3, "hey something went wrong"); }