前向声明的模板类的指针变量？

Question

我有一个完全如下的课程。

但是在向我的类声明指针 var 时出现错误。这里发生了什么事？ 这里有一些类似的问题，但我不明白为什么我的案例不起作用，因为指针是类本身的。

编辑： 按照aweebit的回答。

现在假设我有一个重载的“foo”来打印任何传递的整数。有什么方法可以使用相同的 objA？ 还是我必须使用模板参数 int 创建另一个 objAA？我将编辑我的问题以反映这一点。

我真的必须为每个数据类型创建一个单独的对象吗？ 或者有什么方法可以在运行时实现后期绑定？

代码：

#include<iostream>

template <class T>
class A;

int main ()
{
    A* objA = NULL;
    objA = new A();
    
    objA->foo("some string");
    objA->foo(1);

    delete objA;
    objA = NULL;
    
    return 0;
}

template <class T>
class A
{
    void foo(T);
};

template <class T>
void A<T>::foo(T str)
{
    std::cout << str << "\n";
}

template <class T>
void A<T>::foo(T inte)
{
    std::cout << inte << "\n";
}

Answer 1

由于A 是一个类模板（并且由于模板参数不能是deduced——仅与 C++17 相关），你必须明确指定模板参数：

A<const char*>* objA = NULL;
objA = new A<const char*>();

或者std::string:

A<std::string>* objA = NULL;
objA = new A<std::string>();

您必须做的另一件事是将类定义移动到文件的顶部。这与 at the moment you create a variable of any type, the entire definition of that type must be available 的事实有关（这也适用于普通类）。

您的代码的最后一个问题是您试图调用A::foo()，尽管它是一个私有方法，因为类成员是private by default。

在 cmets 中解决您的问题：

一旦你实例化了类模板，类型参数T就会被相应的参数替换（在我们的例子中是const char*或std::string），并且由于C++是一种强类型语言，你将不能将不同类型的参数传递给A::foo()（除非它可以是implicitly converted，但那是另一回事了）。

由于您的类没有任何数据，因此A::foo() 方法不使用任何成员变量，您可以冒险使用C-style cast 将指针转换为指向类模板的不同实例化的指针或 C++ 特定的reinterpret_cast，如下所示：

((A<int>*) objA)->foo(1);
reinterpret_cast<A<int>*>(objA)->foo(1);

但不要将其视为一般建议。如果你使用这样的东西，你真的必须知道你在做什么！

更好的解决方案是使用function template，因为A::foo() 仅真正取决于其参数的类型。所以你可以完全摆脱A 类，使foo 成为一个独立的函数模板，或者，如果你真的想保留这个类（也许你想在其中存储一些数据？），你应该考虑使@ 987654344@一member function template：

#include <iostream>

template <class T>
class A
{
private:
    T data;
public:
    template <class U>
    void foo(U);
};

int main ()
{
    A<const char*>* objA = NULL;
    objA = new A<const char*>();

    objA->foo("some string");
    objA->foo(1);

    delete objA;
    objA = NULL;

    return 0;
}

template <class T>
template <class U>
void A<T>::foo(U value)
{
    std::cout << value << "\n";
}