模板的构造函数的怪事

可能重复：
Can the template parameters of a constructor be explicitly specified?模板的构造函数的怪事

我以前question跟进，（我发现这个情况，编辑2）

特出简单的代码：

#include <iostream> 

struct Printer 
{ 
    Printer() { std::cout << "secret code" << std::endl; } 
}; 

template <class A> 
struct Class 
{ 
    template <class B, class C> 
    Class(B arg) 
    { 
     C c; /* the 'secret code' should come from here */ 
     std::cout << arg << std::endl; 
    } 

    Class(double arg) { std::cout << "double" << std::endl; } 
    Class(float arg) { std::cout << "float" << std::endl; } 

    /* this forbids the use of printer in the first parameter */ 
    Class(Printer printer) { throw std::exception(); /* here be dragons */ } 
}; 

int main() 
{ 
    Class<int> c(1.0f); 
    Class<int>* ptr = new Class<int>((double)2.0f); 
    return 0; 
} 

// Can anyone print 'secret code' while creating an object of type 'Class' ?

详细说明：对于模板构造函数，您可以在对象被实例化时指定一个不属于构造函数参数一部分的模板参数吗？

我认为这是值得一个问题。

来源

2011-06-15 costy.petrisor

这样的事情的语法必须看起来像'类 objectA （initB）;'，我不认为这是允许的（我会让别人引用章节和诗句，我不会没有标准记忆）。至少，如果可能的话，你可能必须声明模板构造函数为'explicit'，因为当隐式构造一个临时变量时无法确定'C'。真正的问题是：为什么你需要做这样的事情，特质课是否会解决你的问题，如果不是，为什么不呢？ – 2011-06-15 14:07:33

目前它只是一个编程好奇心 – 2011-06-15 14:10:55

不，这是不可能的。

没有语法可用于向构造函数模板提供显式模板参数。您只能为整个类模板提供显式的模板参数。

以下来自[temp.arg.explicit]（2003措辞，14.8.1/5）的案文涵盖了该场景。虽然该条款不规范，它用来解释给我们的是，作为语法的固有限制，这是不可能的：

注：由于显式模板参数列表如下功能模板名称和因为转换成员函数模板和 构造成员函数模板被称为不使用功能名，没有办法提供的显式模板参数列表这些功能模板。

这部分来自于您从未实际上明确调用构造函数的事实。当你编写代码时，比如A()，即使看起来好像你是在调用构造函数（“转换成员函数模板和构造函数成员函数模板，但没有使用函数名称”），你并没有像调用函数那样调用构造函数。

来源

2011-06-15 14:11:09

我倾向于同意，但是当这个问题最后进行了辩论时，所有明确的是标准本身并不是很清楚。 – 2011-06-15 14:15:21

@詹姆斯：我不关注。 'int'有一个类模板参数，不是？ – 2011-06-15 14:16:24

@Tomalak是的。当我点击发送按钮时，我意识到自己的错误，并编辑了我的回复以删除错误的部分。 – 2011-06-15 14:17:22

我认为他想知道如何用C实例化这个类为SOMETYPE：

template<typename A> 
class foo 
{ 
    template<typename B, typename C> 
    foo(B b) 
    { 
     C c; 
    } 
};

我不知道这是可能的。

来源

2011-06-15 14:09:16 Felics

答案是否定的，不是。 – 2011-06-15 14:10:03

模板的构造函数的怪事

回答

相关问题