Как ввести static_assert в определение переменной шаблона

Question

Как ввести static_assert в определение переменной шаблона?

Мой attemption является использование функции лямбда:

#include <type_traits> 
#include <utility> 

#include <cstdlib> 

namespace 
{ 
#pragma clang diagnostic push 
#pragma clang diagnostic ignored "-Wglobal-constructors" 

template< typename F > 
F f = ([]() { static_assert(std::is_default_constructible<F>{}); }(), F{}); 

#pragma clang diagnostic pop 
} 

struct L 
{ 
    L() = default; 
    L(L const &) = delete; 
    L(L &&) = delete; 
}; 

int 
main() 
{ 
    static_cast<void>(f<L>); 
    return EXIT_SUCCESS; 
} 

Но для не перемещаемых объектов, невозможно построить объект значения таким образом.

Использование оператора запятой Я не могу выполнить инициализацию значения в форме F f = ([]() { static_assert(std::is_default_constructible<F>{}); }(), {});.

Я не могу использовать дополнительный параметр шаблона в форме , typename = decltype([]() { static_assert(std::is_default_constructible<F>()); }), из-за ошибки lambda expression in an unevaluated operand.

Отказ от создания экземпляра SFINAE не является решением проблемы. Мне нужно static_assert, чтобы явно сказать пользователю об ошибке.

Было бы неплохо, если static_assert возвращение void или bool.

Answer 1

template<typename T> 
struct require_default_constructible { 
    static_assert(std::is_default_constructible<T>{}, "is default constructible"); 
    using type = T; 
}; 

namespace 
{ 
template< typename F > 
    typename require_default_constructible<F>::type f{}; 
} 

Или такая проверка появляется непосредственно в переменном шаблоне:

template<typename T, bool B> 
struct check { 
    static_assert(B, "???"); 
    using type = T; 
}; 

namespace 
{ 
template< typename F > 
    typename check<F, std::is_default_constructible<F>::value>::type f{}; 
}