使用C++20概念约束模板参数

Question

我想用概念来替换目前使用 SFINAE (enable_if) 的设计。为了简化，我创建了一个更简单的示例来显示相同的问题：

template<typename T>
concept smallerThanPointer = sizeof(T) < sizeof(void*);

template<typename T>
concept notSmallerThanPointer = !smallerThanPointer<T>;


template<smallerThanPointer T>
class MyClass
{
 public:
    MyClass() { std::cout << "MyClass[smallerThanPointer]\n"; }
};

template<notSmallerThanPointer T>
class MyClass
{
 public:
    MyClass() { std::cout << "MyClass[...]\n"; }
};


int main()
{
    MyClass<int[8]> c1;

    return 0;
}

但是我的编译器 (g++-11) 不会接受这种语法，因为它认为我在重新声明 MyClass。这个例子也是不可能的：

template<typename T>
class MyClass requires smallerThanPointer<T>
{
 public:
    MyClass() { std::cout << "MyClass[smallerThanPointer]\n"; }
};

template<typename T>
class MyClass
{
 public:
    MyClass() { std::cout << "MyClass[...]\n"; }
};

我在网上找到的所有带概念的例子都只是讨论如何将概念应用到函数参数上。那么 class 有可能吗？

Answer 1

约束的部分模板特化的正确语法应该是：

template<typename T>
concept smallerThanPointer = sizeof(T) < sizeof(void*);
    
template<class T>
class MyClass
{
public:
    MyClass() { std::cout << "MyClass[...]\n"; }
};
    
template<class T> requires smallerThanPointer<T>
class MyClass<T>
{
public:
    MyClass() { std::cout << "MyClass[smallerThanPointer]\n"; }
};

Demo.

使用C++20概念约束模板参数

Use C++20 Concept to constrain template parameter

c++

templates

class

c++-concepts

c++20