专业模板类构造函数

Question

我是新来的模板在C++中。 任何人都可以解释为什么我的专业构造函数永远不会被执行。 它在我删除const和引用操作符时起作用。

#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"); 
} 

输出是

模板

模板

Answer 1

因为你不能绑定"Hello"至const char*&。

在注释中添加的信息dyp是相当有趣：

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

这意味着你实际上可以使更换const char*&通过const char* const&工作，或者在C++ 11甚至const char* &&，不知道这但在你的用例中真的很聪明。

Answer 2

UPDATE我把一切都错了，完全改写了答案。

首先，这个构造

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

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

其次，"Hello"的类型为“n const char”（见What is the type of string literals in C and C++?），因此它不能转换为非const引用。这就是为什么“模板”构造函数被调用。

正确专业化是

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&)