如何确保模板参数是非常量和非引用的

Question

通常（大部分时间？）在使用模板类型参数创建类型时，您希望确保类型参数填充为非引用、非限定（非常量、非易失性）类型。 但是，像下面这样的简单定义允许用户为T填写任何类型：

template <typename T>
class MyContainer {
    T* whatever;
    T moreStuff;
};

现代 C++ 的概念应该能够解决这个问题。 什么是最好的（最好是最少样板的）方法来做到这一点？

Answer 1

static_assert是一个不错的选择：

#include <type_traits>

template <typename T>
class MyContainer
{
    static_assert(!std::is_reference_v<T>);
    static_assert(!std::is_const_v<T>);
    static_assert(!std::is_volatile_v<T>);

    T* whatever;
    T moreStuff;
};

Answer 2

我会为此使用一个概念。

template <typename T>
concept cvref_unqualified = std::is_same_v<std::remove_cvref_t<T>, T>;

template <cvref_unqualified T>
class MyContainer {...};

Answer 3

您可以通过static_assert检查类型

template <typename T>
class MyContainer {
    static_assert(std::is_same_v<std::remove_cv_t<std::remove_reference_t<T>>, T>, "T must be non-reference, unqualified type");
    T* whatever;
    T moreStuff;
};