规避模板专业化

Question

假设我是某个模板库 (CTL) 的用户，它定义了一个名为 Hector 的模板，

template <class T>
class Hector {...};

并且在其文档中给出了有关 Hector 的许多保证 模板行为。 但随后它还为某种类型定义了特化 Cool

template <>
class Hector<Cool> {....};

特化的目的是更加优化的实现 Hector，但不幸的是由于这种优化很多保证了 >赫克托被侵犯。

目前我确实不需要优化，我宁愿保留 Hector 的所有保证。有什么方法可以在不更改库代码的情况下（CTL 是一个非常受人尊敬的库，你知道），绕过专业化？有办法吗？也许写某种包装？任何事物？我只是想让编译器以正常的、非优化的方式为 Hector 生成代码，并提供所有保证。

Answer 1

您是否可以使用没有不需要的专业化的相关模板 Reque ？否则，我认为您需要为 Cool 创建一个包装器，以便不使用专业化。

Answer 2

您可以将 Cool 包装在虚拟类型中，以防止模板对其进行专门化。

Answer 3

不。即使可以以某种深奥的方式完成，也不要这样做。规避语言功能应该引起警报。

您必须包装该值或使用不同的类型，例如 char 而不是 bool （它们的行为类似），给出 std::vector 而不是 std::vector。

Answer 4

这里有一个通用的伪装器：

template <typename T>
struct Drool
{
  Drool(T d) : b(d) { }
  inline operator T() const { return b; }
  inline Drool<T> & operator=(T d) { b = d; return *this; }
private:
  T b;
};

现在你可以说 Hector>。

---

根据Xeo的改进版本：

template <typename T>
struct Drool
{
  Drool(const T & d) : b(d) { }
  Drool(Drool && o) = default;

  inline operator const T & () const { return b; }
  inline operator       T & ()       { return b; }

private:
  T b;
};

Answer 5

1. 打开标准某些实现
2. Ctrl+A
3. Ctrl+C
4. 创建一个新文件名为 "my_hector.h"
5. Ctrl+V
6. 删除专门化
7. 搜索并替换 #include 与 #include "my_hector.h"
   [编辑@Xeo;-)]
8. 重命名以两个前导下划线后跟一个小写字母开头的标识符，以及以一个前导下划线后跟一个大写字母开头的所有标识符。