模板类构造函数的专业化

Specialisation for template class constructor

本文关键字：专业化 构造函数      更新时间：2023-10-16

我是C++中模板的新手。有人能解释为什么我的专业构造函数永远不会被执行吗。当我删除const和reference运算符时，它就起作用了。

#include<iostream>
#include<string>
using namespace std;
template<typename T>
class CData
{
public:
    CData(const T&);
    CData(const char*&);
private:
    T m_Data;
};
template<typename T>
CData<T>::CData(const T& Val)
{
    cout << "Template" << endl;
    m_Data = Val;
}
template<>
CData<char*>::CData(const char* &Str)
{
    cout << "Char*" << endl;
    m_Data = new char[strlen(Str) + 1];
    strcpy(m_Data, Str);
}
void main()
{
    CData<int> obj1(10);
    CData<char*> obj2("Hello");
}

输出为

模板

模板

因为无法将"Hello"绑定到const char*&。

dyp在评论中添加的信息非常有趣：

字符串文字是一个数组左值，可以转换为指针prvalue。指针prvalue不能绑定到像const char*&

这意味着您可以通过用const char* const&替换const char*&，甚至用c++11中的const char* &&来实现它，但不确定这在您的用例中是否真的很智能。

UPDATE我把所有东西都弄错了，完全重写了答案。

首先，这个构造函数

template<>
CData<char*>::CData(const char* &Str)

不是CData(const T&)的特殊化，因为这里的Str参数是指向const char的指针的非常量引用。所以它是非模板构造函数CData(const char*&)的一个定义。

其次，"Hello"的类型是"array of n const char"（请参阅C和C++中字符串文字的类型是什么？），因此它不能转换为非常数引用。这就是调用"Template"构造函数的原因。

正确的专业化是

template<>
CData<char*>::CData(char* const& Str)

也就是说，它接受对char*的常量引用。

之后，您应该删除CData(const char*&)，除非您需要例如以下代码进行编译：

const char* foo = "foo";
CData<int> obj2(foo);

这是代码：

template<typename T>
class CData
{
public:
    CData(const T&);
private:
    T m_Data;
};
template<typename T>
CData<T>::CData(const T& Val)
{
    ....
}
template<>
CData<char*>::CData(char* const& Str)
{
    ....
}
// warning: deprecated conversion from string constant to 'char*'
CData<char*> obj2("Hello"); // calls CData(char* const&)

修复上述警告的正确方法是添加另一个专业化：

template<>
CData<const char*>::CData(const char* const& Str)
{
    ...
}
CData<const char*> obj2("Hello"); // calls CData(const char* const&)
相关文章：