使用概念 select class 模板专业化

Question

演示了如何使用 C++20 概念为 function 模板选择 overloads。我正在尝试做类似的事情：为 class 模板选择 specializations。

我从 Angle<T> 的 class 模板开始，它包装了一个包含以弧度表示的角度的浮点值。使用概念，我可以确保用户不会用浮点类型以外的任何东西实例化 Angle：

template <std::floating_point T> struct Angle { T m_radians; };

后来，我决定让客户使用可以处理整型的 Angle<T> 的独特实现。换句话说，我想允许这样的代码：

const auto theta = Angle<float>(3.14f);
const auto phi = Angle<int>(180);

所以我尝试添加一个可比较的模板。

template <std::integral T> struct Angle { T m_degrees; };

编译器将此附加实现视为具有不同约束的模板的重新声明。我尝试了几种不同的方式来表达我的意图，但是 none 满足我尝试过的任何编译器。事实上，我什至找不到用 std::enable_if 和传统 SFINAE 来做到这一点的方法——诚然，我完全有可能不太了解 SFINAE。

我发现的唯一方法需要对每种整数和浮点类型进行不同的专业化。

template <std::floating_point T> struct AngleRad { T m_radians; };
template <std::integral T> struct AngleDeg { T m_degrees; };

template <typename T> struct Angle2 {};
template <> struct Angle2<float> : public AngleRad<float> {};
template <> struct Angle2<double> : public AngleRad<double> {};
template <> struct Angle2<long double> : public AngleRad<long double> {};
template <> struct Angle2<short> : public AngleDeg<short> {};
template <> struct Angle2<int> : public AngleDeg<int> {};
template <> struct Angle2<long> : public AngleDeg<long> {};
template <> struct Angle2<long long> : public AngleDeg<long long> {};
template <> struct Angle2<unsigned short> : public AngleDeg<unsigned short> {};
template <> struct Angle2<unsigned int> : public AngleDeg<unsigned int> {};
template <> struct Angle2<unsigned long> : public AngleDeg<unsigned long> {};
template <> struct Angle2<unsigned long long> : public AngleDeg<unsigned long long> {};

[是的，我知道还有几种整数类型。我只是想说明这一点。此示例是为简单起见而设计的，但它的灵感来自于实际代码。]

有没有办法用概念来更简单地表达这个？

Answer 1

你说

template<typename T> // requires (std::integral<T> || std::floating_point<T>) // optional
struct Angle;
template<std::integral T> struct Angle<T> { T m_degrees; };
template<std::floating_point T> struct Angle<T> { T m_radians; };

需要使用足够大的域声明模板以包含其所有专业化。

使用概念 select class 模板专业化

Using concepts to select class template specialization

c++

template-specialization

c++-concepts

c++20