c++ - 依赖于构造函数参数的模板类特化？

Question

我正在调查 C++ 类模板的问题。一个类模板是特化的，但编译器并不总是选择使用特化。我发现构造函数参数似乎影响了这一点:

temlate <class T> 
class MyClass { /*some constructors*/ };

template<>
class MyClass <int>
{ void foo(); /*some constructors*/}

MyClass<int> test1; 
test1.foo(); //works

MyClass<int> test1("hallo"); 
test1.foo(); //doesn't work (foo does not exist, compiler uses unspecialized version.)

我还没有设法创建一个示例来说明问题，因为构造函数参数非常复杂(并且简单参数不会出现问题)。

但我的问题很简单:构造函数参数是否可能影响编译器的选择？怎么办？

我正在使用 Visual C++ 2008。

非常感谢!

---- 编辑:

我们似乎已经确定了问题所在:如果模板特化不是我们构建的静态库中所有翻译单元的一部分，就会出现问题。但如果没有其他翻译单元，它就会消失。

我找到了 http://codeidol.com/cpp/cpp-templates/Instantiation/Implementation-Schemes/在我看来，使用贪心实现可以解释我们观察到的现象。

有人知道MSVC和GCC实际使用了哪些实现方案吗？

Answer 1

But my question is simply this: Is it possible, that constructor arguments influence the choice of the compiler? How?

不，因为你告诉它你想使用哪种类型:

MyClass<int> test1; 
test1.foo(); //works

总是创建特殊类型的对象。