Сообщите, является ли аргумент шаблона структурой

Question

Как создать шаблон, который сообщает, является ли аргумент структурой или нет? То есть как сделать следующий код, выполняемый без ошибок:

struct X { int a; } 
static assert(isStruct!X); 
static assert(!isStruct!int); 

Answer 1

Используйте is выражение.

struct X { int a; } 
static assert(is(X == struct)); 
static assert(!is(int == struct)); 

Но если вы действительно хотите шаблон:

template isStruct(T) 
{ 
    enum bool isStruct = is(T == struct); 
}