模板嵌套的C++类是否可以继承它的封闭类？

Question

这个问题非常密切相关Can a nested C++ class inherit its enclosing class?

我的形势错综复杂，模板，似乎意味着以前answer不再起作用。

class Animal 
{ 
    template <typename T> 
    class Bear : public Animal 
    { 
     // … 
    }; 

    template <typename T> 
    class Giraffe : public Animal 
    { 
     // … 
    }; 
}; 

// example usage 

struct MyAnimal : Animal::Bear<Animal> { }; 

MyAnimal a; 

可以这样做的工作？

Answer 1

对方回答的作品，你只需要知道的语法吧：

class Animal 
{ 
    template <typename T> 
    class Bear; 

    template <typename T> 
    class Giraffe; 
}; 

template <typename T> 
class Animal::Bear : public Animal 
{ 
    .... 
}; 

template <typename T> 
class Animal::Giraffe : public Animal 
{ 
    .... 
}; 

Answer 2

当然可以。就像原始问题中提到的一样，只需使用前向声明。

#include <iostream> 

class Animal 
{ 
public: 
    template <typename T> 
    class Bear; 

    template <typename T> 
    class Giraffe; 

    int val; 
}; 

template <typename T> 
class Animal::Bear : public Animal 
{ 
    public: 
    T b_member; 

    virtual void print(){ 
     std::cout << b_member.val << endl; 
    } 

}; 

template <typename T> 
class Animal::Giraffe : public Animal 
{ 
    public: 
    T g_member; 

    virtual void print(){ 
     std::cout << g_member.val << endl; 
    } 
}; 

struct BearAnimal : Animal::Bear<Animal> 
{ 
}; 

struct GiraffeAnimal : Animal::Giraffe <Animal> 
{ 
}; 


int main() 
{ 
    BearAnimal btest; 
    GiraffeAnimal gtest; 
    btest.b_member.val = 1; 
    gtest.g_member.val = 2; 
    btest.print(); 
    gtest.print();  

    return 0; 
} 

输出：

Answer 3

你不能这样做，因为传承需要完整的类定义可用。由于Bear和Giraffe在Animal内的使用可能会影响Animal的定义，因此您几乎可以通过循环依赖来解决。

相反，将相关类分组到一个名称空间中。我没有看到为什么特定的动物应该嵌套在Animal之内。