Как сделать блок static_assert повторно используемым в классах шаблонов?

Одна вещь, которую вы можете сделать, это создать новый трейт, который является conjunction черты, которые вы хотите проверить. Поскольку вы хотите отрицать все те черты, которые буквально означают

template<typename T>
using my_trait = std::conjunction<std::negation<std::is_const<T>>,
                                  std::negation<std::is_reference<T>>,
                                  std::negation<std::is_pointer<T>>>;

static_assert(my_trait<int>::value, "");

но необходимость использовать std::negation для каждой черты может быть мучительной. Вы можете избавиться от этого, используя std::disjunction, чтобы получить "или" из все черты, а затем просто отмените значение в статическом утверждении, как вы это делаете, что дает вам

template<typename T>
using my_trait = std::disjunction<std::is_const<T>,
                                  std::is_reference<T>,
                                  std::is_pointer<T>>;

static_assert(!my_trait<int>::value, "");

Вы можете просто объединить необходимые черты в одну с описательным именем:

template<typename T> using
is_fancy = ::std::integral_constant
<
    bool
,   (not std::is_const<T>::value)
    and
    (not std::is_reference<T>::value)
    and
    (not std::is_pointer<T>::value)
>;

и использовать его позже:

static_assert(std::is_fancy<T>::value,"");

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

Когда это возможно, я предпочитаю разделять их:

template<typename T>
struct CustomCheck {
     static_assert(check<T>);
      // ...
 };

В вашем классе вам нужно только создать его экземпляр, чтобы получить проверку и подробную ошибку:

 constexpr static CustomCheck<T> check{};

Вы можете определить constexpr bool, который выполняет оценку во время компиляции:

template<typename T>
inline constexpr bool is_okay_type = !std::is_const<T>::value &&
                                     !std::is_reference<T>::value &&
                                     !std::is_pointer<T>::value;

Тогда либо:

1. используйте его непосредственно static_assert<>, как в вашем примере:

   template<typename T> class MyClass
   {
       static_assert(is_okay_type<T>, "message");
   public:
       //...code...
   };
   

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

   template<typename Type, typename Enable = void> class Class1;
   
   template<typename Type>
   class Class1<Type, std::enable_if_t<is_okay_type<Type>> >
   {
       //...code...
   };