c++ - 将模板类实例类型别名传递给非成员模板函数

Question

有没有办法使用 将模板类实例类型别名 (ClassTmplt/DerivedFloat::InternalType) 传递给外部非成员模板函数 (DoSomething) Base 类对象指针(就像最后两行 test() 函数注释行)？

class Base
{
};

template <typename T>
class ClassTmplt:
    public Base
{
public:
    using InternalType = T;
};

class DerivedFloat:
    public ClassTmplt<float>
{
};

template <typename T, typename TIn>
void DoSomething(const TIn value)
{
    T val = T(value);
    std::cout << val << " | " << typeid(val).name() << " | " << typeid(value).name() << std::endl;
}

template <typename T>
typename T::InternalType PassInternalType(T* obj)
{
    return T::InternalType;
    //return obj::InternalType
}


void test()
{
    Base* obj = new DerivedFloat;
    DoSomething<float>(1.23);
    DoSomething<DerivedFloat::InternalType>(1UL);
    //DoSomething<(*obj)::InternalType>(-123);
    //DoSomething<PassInternalType(obj)>(4.56);
}

Answer 1

没有。考虑:

void f(Base* ptr) {
    // What type does ptr point to?
    // The runtime derived type might not exist when this function compiles
}

由于指针的动态类型只在运行时才知道，编译器在编译函数时不可能访问它。

如果定义可用，可能会有更多选项，但所有这些都需要您提前知道您打算支持的整个类型集，并且可能需要向下转换为 first。 (如果你走这条路，类型“id”可能会有所帮助。)

您可以使用访问者模式构建一些有限的工作设计。