如何将C++类模板参数限制为指定基类的子类？

1. 模板参数限定（确保C是SomeClass的子类） #

通过编译期断言结合类型检查工具，强制模板参数C必须是SomeClass的子类（包括SomeClass本身），同时兼顾Unreal Header Tool（UHT）兼容性：

#include <type_traits> // 标准C++头文件

template<class C>
class SmuggleInBetween : public C
{
    // 编译期检查：C必须继承自SomeClass
    static_assert(std::is_base_of_v<SomeClass, C>, "Template parameter C must inherit from SomeClass");
    // ...
};

如果Unreal环境下std::is_base_of_v存在UHT兼容问题，可替换为UE原生的类型检查工具：

#include "Templates/TypeTraits.h" // UE专属头文件

static_assert(TPointerIsConvertibleFromTo<C*, SomeClass*>::Value, "C must inherit from SomeClass");

2. 访问基类保护成员的正确方式 #

由于模板基类C是依赖类型（依赖模板参数），编译器无法自动解析非限定的成员名，必须通过this->或C::显式限定：

SmuggleInBetween()
{
    // 方式1：通过this->限定，编译器会在依赖基类中查找成员
    this->ProtectedBaseClassMember = 5;

    // 方式2：通过C::限定（成员变量场景下不影响多态）
    C::ProtectedBaseClassMember = 5;
}

之前直接写ProtectedBaseClassMember编译失败，本质是编译器在模板实例化前无法确定该成员属于依赖基类C，必须显式声明归属。

3. 解决override编译错误 #

只要通过static_assert确保C是SomeClass的子类，C必然继承了SomeFunctionFromBaseClass虚函数，此时override关键字可正常生效。若仍有报错，可显式调用基类版本明确关联：

protected:
    virtual void SomeFunctionFromBaseClass() override
    {
        // 可选：调用基类原有实现
        C::SomeFunctionFromBaseClass();
    }
    double DoubleProperty;

完整修正代码 #

#include <type_traits>

class SomeClass
{
protected:
    int ProtectedBaseClassMember;
    virtual void SomeFunctionFromBaseClass();
};

class SomeDerivedClass : public SomeClass { };

template<class C>
class SmuggleInBetween : public C
{
    static_assert(std::is_base_of_v<SomeClass, C>, "C must be a subclass of SomeClass");

public:
    SmuggleInBetween()
    {
        this->ProtectedBaseClassMember = 5;
    }

protected:
    virtual void SomeFunctionFromBaseClass() override
    {
        C::SomeFunctionFromBaseClass();
    }
    double DoubleProperty;
};

// 使用示例
class SomeImprovedClass : public SmuggleInBetween<SomeClass> { };
class SomeImprovedDerivedClass : public SmuggleInBetween<SomeDerivedClass> { };

Unreal Engine 额外注意事项 #

• 模板类定义必须放在头文件中，避免UHT解析失败；
• 若涉及UObject派生类，需遵循UE的UCLASS()宏规则（当前场景无需额外处理）；
• 复杂模板元编程语法可能触发UHT兼容性问题，优先使用UE原生类型工具替代标准库特性。

内容的提问来源于stack exchange，提问作者ruben.moor