仅适用于 <char> 的模板类型的附加构造函数

Question

我有一个带有一个模板参数“T”的模板类。我希望这个类有一个构造函数，但如果 T 是 char 只是有一个额外的构造函数“const char *”作为参数。

template <typename T>
class Container
{
public:
    // Construct a container from an array of T's
    Container(const T* data, int count);

    // For char only construct a container from a nul terminated string
    // I *only* want this constructor to be valid when T is char
    Container(const T* data);
};

有什么办法可以做到这一点，让我可以做到：-

const char* init = "Hello";
Container<char> data = init;

会编译但是

const int init[] = {1, 3, 4};
Container<int> data = init;

不会编译。

Answer 1

您可以将其包装在构造函数模板中并使用 SFINAE：

template <typename U=T,
          typename = std::enable_if_t<std::is_same<U, char>::value>>
Container(const U* )
{
    ...
}

这样，对于Container<char>，这个构造函数是可行的，但对于Container<int>，它将是不正确的并从重载集中删除。

一个较小的选择只是：

Container(const char* ) {
    static_assert(std::is_same<T, char>::value, "!");
}

这仍然会在您需要时为您提供const char* 构造函数，而不会为其他Ts 提供const T* 构造函数。但是我们仍然有std::is_constructible<Container<int>, const char*> - 这可能会破坏其他逻辑。所以坚持使用 SFINAE。

Answer 2

你也可以使用Static Assertion

#include <type_traits>

template <typename T>
void Foo(T) {
    static_assert(std::is_same<T, const char*>::value, "T must be const char *");
}

int main(int argc, char* argv[])
{
    const char* c = "c";
    Foo(c); // compile
    Foo(1); // don't compile
}

Answer 3

你可以为char编写构造函数：

template <> Container<char>::Container(const char* data) {}

示例如下：

ideone

Answer 4

这称为模板特化：

template<>
class Container<char>
{
public:
    Container(const char *);

    // ... the rest of the class declaration
};

现在，从所有意图和目的来看，这实际上是创建一个单独的类。除了构造函数之外，您还必须编写和声明它的所有其他方法。这可能需要对您的主模板类进行大量代码重复，但通常可以借助通用继承和/或基类来组织一些东西。

一切就绪：

Container<int>

将解析为您的主模板，并且

Container<char>

为您提供专业课程。专业化本质上是根据模板参数选择几个替代模板之一。