c++ - 如何确定模板函数中接收到的类型是列表？

Question

假设我有一个模板函数，它只打印它在调用中收到的类型。

template<typename T>
void printType()
{
    if (typeid(T) == typeid(int))
    {
        printf("Type is int.\r\n");
    }
    else if (typeid(T) == typeid(std::string))
    {
        printf("Type is string.\r\n");
    }
    else if (typeid(T) == typeid(MyList<int>))
    {
        printf("Type is a list.\r\n");
    }
    else
    {
        printf("Type is not supported.\r\n");
    }
}

int main()
{
    printType<int>();
    printType<std::string>();
    printType<MyList<int>>();
    return 0;
}

对函数必须处理的类型的支持仅限于某些类型:int、字符串和列表。

我的问题是 MyList 类型。在我的示例代码中，该函数只处理整数列表，但我想让它处理一个独立于它包含的元素类型的列表(例如: MyList<double> 、 MyList<std::string> 、 MyList<MyList<MyList<int>>> 等... ).

这只是对我的问题的最小化描述。

如何检测函数调用提供的类型是 MyList，而不管它包含的类型元素是什么？

Answer 1

不需要 typeid为了这。只需使用类型 T 分派(dispatch)到不同的重载:

void printType_impl(int) {}

template<typename T>
void printType_impl(myList<T>) {}

void printType_impl(std::string) {}

template<typename T>
void printType()
{
    printType_impl(T());
}

如果您担心编译器不允许优化的默认构造可能产生的副作用，那么请 printType_impl取而代之的是相应的指针并将其称为printType( static_cast<T*>(nullptr) );相反。