c++ - 编译器跳过 C++ 中的可变参数模板/函数

Question

<分区>

Answer 1

模板仅在使用时实例化。将定义放在实现中而不在该文件中使用它们将导致无法实例化。然后，当您尝试在其他地方使用它时，它将找不到要实例化的实现，因为它位于当前翻译单元看不到的实现文件中。您应该将实现留在标题中。 See this question .

如果有 NpBaseTest 的定义，您的示例可以正常工作并且如果您移动 header 中的所有代码(我假设是 TestFactory.h)。以下是如何在您的示例中使用代码的示例。注意模板的编写方式，它们只接受指向返回 NpBaseTest* 的函数的指针。 .

// main.cpp
#include "TestFactory.h"
#include <iostream>

NpBaseTest* test_callback(int x, int y)
{
    std::cout << "Called test_callback(" << x << ", " << y << ")\n";
    return nullptr;
}

int main()
{
    // This instantiates TestFactory::RegisterTest<int, int>
    TestFactory::RegisterTest<int, int>("my test", &test_callback);

    // This instantiates TestFactory::CreateTest<int, int>
    NpBaseTest * result = TestFactory::CreateTest<int, int>("my test", 5, 10);

    return 0;
}

我已经明确地为 clariy 编写了模板参数。在您的情况下，编译器将能够推导出这些参数，并且该示例大大简化。您可以简单地调用不带任何参数的模板化方法，它们将从参数中推导出来。

// main.cpp
#include "TestFactory.h"
#include <iostream>

NpBaseTest* test_callback(int x, int y)
{
    std::cout << "Called test_callback(" << x << ", " << y << ")\n";
    return nullptr;
}

int main()
{
    // This instantiates TestFactory::RegisterTest<int, int>
    TestFactory::RegisterTest("my test", &test_callback);

    // This instantiates TestFactory::CreateTest<int, int>
    NpBaseTest * result = TestFactory::CreateTest("my test", 5, 10);

    return 0;
}

就是这样。如果试试这个例子，你会看到 TestFactory::RegisterTest<int, int> 的符号和 TestFactory::CreateTest<int, int>现在生成。