规避模板专业化

Question

假设我是某个模板库 (CTL) 的用户，该模板库定义了一个模板，例如，Hector

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

在其文档中，它提供了许多关于Hector 模板行为的保证。 但随后它也为特定类型定义了一个特化Cool

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

专门化的目的是对Hector 进行更优化的实现，但不幸的是，由于这种优化，许多Hector 的保证被违反了。

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

Answer 1

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

Answer 2

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

Answer 3

没有。即使它可以以某种深奥的方式完成，也不要这样做。绕过语言功能应该会触发警报。

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

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<Drool<Cool>>。

---

根据 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 <hector>并将其替换为#include "my_hector.h"
   [编辑@Xeo ;-) ]​​i>
8. 重命名以两个前导下划线后跟一个小写字母开头的标识符，以及以一个前导下划线后跟一个大写字母开头的所有标识符。