statico affermare la dimensione di un tipo di modello su di un'istanza

Question

voglio controllare la dimensione della seguente struttura sulla creazione di un'istanza con static_assert per vincolare che il senza nome struct è fitto, in tal modo la dimensione del A è equivalente a sizeof(T) * 3.

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

Questo potrebbe essere fatto con

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

Tuttavia

• dal A<T> è ancora un tipo incompleto all'interno della sua definizione di classe, mettendo sopra static_assert nella definizione di classe è non un'opzione

• static_assert con sizeof non valuta all'interno delle funzioni non-istanziata in tutti i compilatori (come Clang), in modo da mettere in funzione un membro fittizio non è un'opzione

• mettendo static_assert a un costruttore o distruttore sarebbe una soluzione , ma nell'esempio precedente esiste alcun costruttore definito dall'utente (pensare a aggregati), inoltre immaginare il caso di più costruttori, dove avrei evitare eseguendo l'affermazione in tutti

• ereditare A da un altro struct ed eseguendo static_assert su quello nel de finition di A sarebbe una soluzione, ma voglio mantenere il semplice struct, senza fare confusione con le strutture di supporto

Qualsiasi altra soluzione che mi manca?

Ho deciso di ripristinare questa domanda e tenerla aperta per possibili soluzioni in futuro.

Answer 1

Una funzione membro speciale (quasi) garanzia di essere istanziato è il distruttore:

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