依赖模板的参数类型

Question

我不明白这是为什么不工作：

template <typename T> 
struct TypeWrapper 
{ 
    typedef T type; 
}; 
template <> 
struct TypeWrapper<char*> 
{ 
    typedef std::string type; 
}; 
template <> 
struct TypeWrapper<const char*> 
{ 
    typedef std::string type; 
}; 
template <int N> 
struct TypeWrapper<char[N]> 
{ 
    typedef std::string type; 
}; 
template <int N> 
struct TypeWrapper<const char[N]> 
{ 
    typedef std::string type; 
}; 

class A 
{ 
public: 
    template< typename T > 
    A(const typename TypeWrapper<T>::type& t) 
    { 
     // do smthing 
     std::cout << t << std::endl; 
    } 
}; 

int main(void) 
{ 
    A a(42); 

    return 0; 
} 

我与Visual Studio 2010的编译，我得到以下错误：

error C2664: 'A::A(const A &)' : cannot convert parameter 1 from 'int' to 'const A &' 

如果我改变构造A到这一个它的工作原理：

A(const T& t) 

但我想处理char *类型作为std ::字符串和可能其他类型adju stements，whithouth复制构造函数（定义特定构造每种类型，这个工程）

Answer 1

我认为下列哪项不是语法正确

A(typename const TypeWrapper<T>::type& t) 

应该

A(const typename TypeWrapper<T>::type& t) 

或

A(typename TypeWrapper<T>::type const& t) 

无论如何，即使您修复临时表，您的示例也不会编译问题。 VC++试图调用（编译器生成的）复制构造函数而不是你定义的构造函数，因为模板参数推导总是会在你的构造函数上失败。原因是标准定义引用了一个嵌套类型名称，比如你的构造函数参数（typename TypeWrapper<T>::type）是一个非推导的上下文。

这使您无法构建A，因为必须推导出构造函数的模板参数;你不能明确地指定它们。

---

您应该诉诸超载。

class A 
{ 
public: 
    template< typename T > 
    A(T const& t) 
    { 
     // do smthing 
     std::cout << t << std::endl; 
    } 

    A(std::string const& s) 
    { 
     std::cout << "string" << std::endl; 
    } 

    A (char const *s) 
    { 
     std::cout << "char *" << std::endl; 
    } 

    template<std::size_t N> 
    A (const char (&arr)[N]) 
    { 
     std::cout << "char array" << std::endl; 
    } 
};