c++ - 删除模板化结构偏特化

Question

如果我有这样的模板化结构:

template<typename T>
struct A {};

如何删除特定类型(例如 void)的部分特化，以便任何提及 A 都会产生编译器错误？

template<>
struct A<void> = delete;

这不会像预期的那样编译，因为这种语法不存在，尽管我本质上想要类似的东西。

虽然我目前确实有解决此问题的“解决方案”，即删除所有可能的构造函数:

template<>
struct A<void> { template<typename...> A(...) = delete; };

但这不是最佳解决方案，因为用户仍然可以使用 A ，只要他们不尝试实例化对象即可。我还尝试将 enable_if 添加到初始结构中:

template<typename T, typename = typename std::enable_if<!std::is_same<T, void>::value>::type>
struct A {};

这很好用，所以提到 A< void > 会产生编译器错误(虽然有点奇怪，因为它指的是 enable_if 本身)，但如果我无权访问，这将不起作用初始定义，例如专门化其他人的结构时。

那么除了我目前的解决方案之外，还有什么好的方法可以做到这一点，如果没有，有没有办法改进当用户使用 A 时我必须给出编译器错误的方法？

我可以使用 c++17 和 clang 的 c++2a，如果它添加了任何有助于此的新功能。

---

更新:正如@PicaudVincent 在他的回答中所说，第二种解决方案不允许您根据条件限制所有类型，只能限制单一类型，但有一种解决方法:

我们可以围绕我们的结构 A 编写一个完美的包装器，也就是说，一个在 Helper 函数的帮助下表现得与原始类型完全一样的包装器

template<template<typename...> class U, typename=void, typename...TArgs>
struct Helper : U<TArgs...>
{
    using U<TArgs...>::U;

    template<typename...Args>
    Helper(Args...args) : U<TArgs...>(args...) {};
};

template<typename...Args>
using B = Helper<A,
                 typename std::enable_if<(... && std::is_arithmetic<Args>::value)>::type, 
                 Args...>;

现在您可以使用 B<> 而不是 A<>，即使它们是相同的东西并且会以相同的方式运行，并且会在需要时转换为 A<>，例如在调用需要的函数时在 A<>.

尽管如果一个函数接受 B<>，则不能传递 A<>，除非您使用 static_cast 或类似方法将 A<> 显式转换为 B<>。

这也适用于任何模板类，您只需将 A 替换为您尝试使用的类，并将 enable_if 替换为您的条件:

using B = Helper</*Structure to use*/,
                 typename std::enable_if</*Condition*/>::type, 
                 Args...>;

这不是最好的解决方案，但它确实允许您现在必须更改原始声明并仍然限制您可以放入其中的内容，而无需手动命名每种类型。

Answer 1

如果你真的想要一个“编译时”错误，你可以使用 static_assert .用 --std=c++14 编译的代码如下:

#include <type_traits>

template <typename T>
struct A
{
  static_assert(!std::is_same<T, void>::value, "Not allowed");
};


int main()
{
  A<double> a_d;
  A<void> a_v;     // <- compile time error
}

---

更新:

我理解你的评论。不幸的是:

template <>
struct A<void>
{
  static_assert(false, "Not allowed");
};

不起作用，因为确定的条件为假并且编译器检测到。

不确定我们能否找到 static_assert在这种情况下基于解决方案。我这边暂时还没有找到。

---

更新 2:Filipe Rodrigues 自答

替代方案，只需定义 struct A<void>没有 body 。

template<> struct A<void>; 

然后代码如下:

int main()
{
  A<double> a_d;
  A<void> a_v;
}

触发这种错误:

aggregate ‘A<void> a_v’ has incomplete type and cannot be defined

---

1/对 2/

2/的优点是简单，但是使用 1/你可以这样写:

template <typename T>
struct A
{
  static_assert(std::is_arithmetic<T>::value, 
                "A<T>, T: must be an arithmetic type");
};

这是你不能用 2/做的事情