模板<class T> 错误

Question

我有一个：header.cpp、header.hpp 和一个 test_header.cpp。

在 header.hpp 我有：

class MyClass
  {
    public;
    MyClass();
    std::string name;
    //...code with other variables,methods;

 class MySecondClass
  {

    public:
    MySecondClass();

    std::string surname;
    //..code with other variables,methods

  }*MySC;

   public:
   template<class T>
   bool method(T& obj);

    {



    if (typeid(MyClass)=typeid(obj))
     {
       MyClass *s= new MyClass();
        *s=obj //i want to save everything that i have in obj into s;
        //call  method "MyMethod" and work with s

    }
     else if (typeid(MyClass::MySecondClass)=typeid(obj))
      {
        MyClass::MySecondClass *s1= new MyClass::MySecondClass();
        *s1 = obj;
        //call "MyMethod" and work with s1;
      }
     return true;
  }

}*mycls;

在 test_header.cpp 我有

{
  MyClass *mycls = new MyClass();
  MyClass::MySecondClass *mysec_cls= new MyClass::MySecondClass();

   if (mycls->method<MyClass>(*mycls) 
              {//code
               }
   if (mycls->method<MyClass::MySecondClass>(*mysec_cls)
           {//code
           }
}

我有一个错误说 mysec_cls 不是 MyClass 类型。正如我意识到的那样，指针指向第一个 if 并且永远不会指向 else。

.h error: no match for operator= in *s1 = obj. 
note: candidates are: MyClass& MyClass::operator=(const MyClass&)

如果在 test_header.cpp 我只有一个 if 和 if 在模板中我只有一个来自 test_header 中的 if 的引用，但如果我对 T& obj 有多个引用，我没有这个错误我有错误我已经提到了。

为什么？如何改变这个？我正在使用 g++ 编译。

Answer 1

当您实例化一个模板时，它会被完全编译，而与最终执行的代码分支无关。在您的特定代码中，即使 if 语句将确保仅执行具有有效分配的分支，也必须编译两个分支，并且其中一个不正确。

考虑简单的非模板示例：

void foo( int x ) {
   if ( true ) {
      int y = x;
   } else {
      std::string s = x;
   }
}

虽然第二个分支永远不会被执行，但编译器必须确保代码是正确的（即使它可以优化它），并且它会失败，因为您无法从整数初始化字符串。您的代码中也存在同样的问题。

至于如何解决，最简单的方法是不用编写分支，而是使用函数重载解析来解决分派到适当的代码段。这样你就可以有两个不同的函数（或者如果你想要的特殊化，但我建议使用不同的重载），每个函数只适用于其中一种类型，因此赋值是有效的。

Answer 2

我的水晶球告诉我，你正在以某种方式变形你从 type_info 中检索到的类名，因为这个名称不是直接的类名，而是一个从类名充分派生以允许相等的实现定义的字符串比较，并且在该过程中，两个名称都映射到“MyClass”（即您正在切断内部类的名称），因此两者最终都在同一个处理程序中。

如果要在运行时比较类型，直接比较type_info节点：

if(typeid(obj) == typeid(MyClass)) ...

如果您在 method 中处理的类型的封闭列表（并且在您的实现中，有，因为您无法将更多案例添加到链接的 if 语句列表中），没有真正的理由使用一个模板；定期重载就足够了：

class MyClass
{
    std::string name;
    // ...
    class MySecondClass
    {
        std::string surname;
        // ...
    } *mysc;

    bool method(MyClass const &obj)
    {
        MyClass *copy = new MyClass;
        *copy = obj;
        // ...
    }
    bool method(MySecondClass const &obj)
    {
        MySecondClass *copy = new MySecondClass;
        *copy = obj;
        // ...
    }
    // ...
};