TBitArray<>参数含义及与模板参数版本HasAll方法的差异问询

问题1：TBitArray<>未指定具体类型，是否可接受任意TBitArray<int32>、TBitArray<float>实例作为参数？ #

答案是否定的。TBitArray<>这种写法是省略了默认模板参数的用法，并非支持任意类型的TBitArray实例。

在Unreal Engine的模板体系中，TBitArray的定义会指定默认模板参数（例如template<typename T = uint32> class TBitArray），因此TBitArray<>等价于TBitArray<默认类型>。模板参数不同的TBitArray会被编译器视为完全不同的类，无法进行隐式转换。也就是说，这个HasAll函数只能接受与当前实例模板参数一致的TBitArray对象，比如当前实例是TBitArray<uint32>，就只能传入TBitArray<uint32>，传入TBitArray<int32>或TBitArray<float>会直接触发编译错误。

两段代码的核心差异 #

第一段非模板版本 #

FORCEINLINE bool HasAll(const TBitArray<>& Other) const
{
    FConstWordIterator ThisIterator(*this);
    FConstWordIterator OtherIterator(Other);

    while (ThisIterator || OtherIterator)
    {
        const uint32 A = ThisIterator ? ThisIterator.GetWord() : 0;
        const uint32 B = OtherIterator ? OtherIterator.GetWord() : 0;
        if ((A & B) != B)
        {
            return false;
        }

        ++ThisIterator;
        ++OtherIterator;
    }

    return true;
}

• 这是一个非模板成员函数，参数类型固定为TBitArray<>（即带默认模板参数的版本）。
• 仅能接收与当前调用实例模板参数完全一致的TBitArray对象，类型不匹配直接编译失败。

第二段模板版本 #

template<class T>
FORCEINLINE bool HasAll(const TBitArray<T>& Other) const

• 这是一个模板成员函数，通过模板参数T支持任意合法类型的TBitArray<T>实例。
• 只要TBitArray<T>的接口与函数内部实现兼容（比如FConstWordIterator能正确遍历TBitArray<T>），任何模板参数的TBitArray都可以传入。
• 函数的const限定表示调用该函数的当前实例是只读状态，不会被修改。

内容的提问来源于stack exchange，提问作者Marsir