向类模板特化添加方法

Question

我想实现 STL 中存在的行为：当我们查看向量容器时，已知它具有vector<bool>专门化，它添加了方法flip() 。

是否可以在不复制整个类作为特化并在其主体中添加新方法的情况下实现此类扩展？

Answer 1

我想您可以编写专业化，以便它从通用版本继承。

例如：假设您有一个带有类型和值（具有默认值）模板参数的struct foo ； 假设它有一些方法（ bar() ，在下面的例子中）

template <typename, bool = true>
struct foo 
 { void bar () {}; };

并假设您想要使用相同的方法和额外的baz()对bool （作为模板类型）进行专业化； 你可以从普通版本继承foo<bool>如下

template <>
struct foo<bool> : public foo<bool, false>
 { void baz () {}; };

你可以验证

   foo<int>   fi;

   fi.bar();   // compile
   //fi.baz(); // compilation error

   foo<bool>  fb;

   fb.bar();  // compile
   fb.baz();  // compile

Answer 2

你可以SFINAE“专业化”的方法

template <typename T>
class C
{
public:
    // Common code...

    template <typename U = T, std::enable_if_t<std::is_same<bool, U>::value, bool> = false>
    void only_for_bool() {/*..*/}
};

C++20 将允许更好的语法：

template <typename T>
class C
{
public:
    // Common code...

    void only_for_bool() requires (std::is_same<bool, T>::value) {/*..*/}
};