C++关于模板类型的设计问题

Question

我有一个模板类

  template <typename T>
    class MyContainerClass

对于要替换 T 的类型，它必须满足许多要求：例如， get_id()、int data() 等。

显然，基本类型 (POD) 都是不可替代的。我可以提供的一种方式 这是通过提供这些功能的 POD 的包装器实现的。这是可以接受的吗 方式？

另一种方法是将模板更改为：

template < typename T, typename C=traits<T> >
class MyContainerClass

并在 MyContainerClass 内部，对 T 对象调用 Traits::data() 而不是 data()。 我将专门研究 traits、traits 等。

这是好的设计吗？我如何设计这样的特征类（完全静态方法或允许 用于继承）？或者包装类是一个好的解决方案吗？

还有哪些其他选择？

Answer 1

解决这个问题的另一种方法是将模板专门用于特定类型，例如，

template <>
    class MyContainerClass<int>

然后显然实现使用带有整数的容器所需的一切。

但我认为特征解决方案要好得多。它还允许您在其他容器和稍后创建的其他类中重用这些特征。

Answer 2

您会发现 std 相当广泛地使用 type_traits。您可以检查它们是否确实满足您的需求，而且，这应该是一个很好的提示，表明特征结构规范是正确的方法。

Answer 3

尽管其他人似乎都赞成专业化，但我会选择特质。原因有两个：

1. 他们是“使用专业化”——变相的想法，因为他们也使用专业化，但他们的想法是外部化专业化，这样它们就不会污染您的实际算法。

2. 在标准库中使用它们是一种经过充分验证的众所周知的技术，每个人都会立即认识到。相比之下，专业化在标准库中使用得并不多。 （我刚才是不是听到有人大喊 std::vector？）。

Answer 4

出于不同的原因，我也喜欢特质。使用 sfinae，您可以获得一个有效的 is_class 谓词：

template <typename T>
struct traits
{
    static const bool is_class = sizeof(test<T>(0)) == 1;

private:
    template <typename U> char (&test(int U::*))[1];
    template <typename> char (&test(...))[2];
};

并专门研究非类类型，而不必枚举所有基本类型（这需要一些宏才能使其可维护......）