显式实例化类模板而不是实例化构造函数

Question

我正在从事一个C语言的项目，当我显式实例化模板类时，很难理解模板类的哪些成员被显式实例化。我编写了以下文件，然后使用Visual C 2008 Express Edition的发布配置编译该文件，然后将其放入反汇编程序。

template<typename T> class test {
public:
    template<typename T> test(T param) {
        parameter = param;
    };
    ~test() {};
    int pop();
    int push();
    T parameter;
};

template<typename T> int test<T>::push() {return 1;}
template<typename T> int test<T>::pop() {return 2;}

template class test<int>;

int main() {
    return 0;
}

忽略这个文件目前并不真正需要模板，这可以很好地编译。我将exe放入反汇编程序，它告诉我该测试

template test<int>::test(int);

这导致测试

Answer 1

当构造函数是模板成员函数时，除非显式使用，否则不会实例化它们。

如果构造函数成为非模板成员函数，您将看到该函数的代码。

template<typename T> class test {
public:

    /***
    template<typename T> test(T param) {
        parameter = param;
    };
    ***/

    test(T param) : parameter(param) {}
    ~test() {}
    int pop();
    int push();
    T parameter;
};