为何C++无法（或不支持）推导别名模板的模板参数？

问题本质 #

你写的template<typename T> using IntPtr = intptr_t;是个模板别名，但它本质上只是intptr_t的别名——不管你给T传什么类型，IntPtr<T>最终都会被替换成intptr_t。比如IntPtr<char>和IntPtr<int>的实际类型完全一样，都是intptr_t。

当你调用getPtr(char_star)时，编译器需要推导模板参数T，但传入的参数类型是纯粹的intptr_t，编译器没法从这个类型里反推出原来的T（也就是char）。因为模板别名的参数T并没有体现在最终的类型中，属于C标准里的非推导上下文，所以必然会出现推导失败的错误，而且这个规则在所有C标准版本里都没变。

可行的解决办法 #

1. 显式指定模板参数 #

最简单的方式就是调用时直接告诉编译器T的类型：

return *getPtr<char>(char_star);

不需要编译器推导，直接明确参数类型，问题直接解决。

2. 用结构体封装替代模板别名 #

如果想要编译器自动推导，得让T成为类型的一部分。把模板别名改成结构体：

#include <stdint.h>

template<typename T>
struct IntPtr {
    intptr_t value;
    // 构造函数方便直接赋值
    constexpr IntPtr(intptr_t v) : value(v) {}
};

template<typename T>
T* getPtr(IntPtr<T> i)
{
    return (T*)i.value;
}

int main()
{
    IntPtr<char> char_star = 0xcafe'babe'dead'beef;
    return *getPtr(char_star);
}

此时IntPtr<char>是一个独立的结构体类型，编译器能直接从参数里提取出T，完成自动推导。

3. 给模板别名附加类型信息（繁琐但可用） #

如果不想改IntPtr的别名形式，可以给它加个辅助结构来携带T的信息：

#include <stdint.h>

template<typename T>
struct IntPtrTag {
    using value_type = T;
    using type = intptr_t;
};

template<typename T>
using IntPtr = typename IntPtrTag<T>::type;

template<typename T>
T* getPtr(typename IntPtrTag<T>::type i)
{
    return (T*)i;
}

int main()
{
    IntPtr<char> char_star = 0xcafe'babe'dead'beef;
    // 调用时还是得显式指定，或者用decltype提取
    return *getPtr<char>(char_star);
}

不过这种方式本质还是需要显式指定，不如前两种实用。

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