如何让C++正确推导含特例规则的模板类型别名的模板参数

问题原因 #

你的两种写法编译失败的核心原因是C++模板的非推导上下文规则：所有嵌套在::符号左侧的从属类型，都不会参与模板参数的自动推导。你用的std::conditional<...>::type和自定义的TypeHolder<T>::type都属于这类嵌套从属类型，编译器无法通过传入foo的参数反向推导出模板参数T的具体类型，因此直接报错。

最小改动解决方案 #

你不需要修改现有TypeAlias的定义，也不需要修改任何foo的调用逻辑，仅需新增一个轻量的转发重载即可完美解决问题：

#include <type_traits>
#include <utility>

// 你原有的TypeHolder和TypeAlias定义完全保留
template <typename T>
struct TypeHolder {
  using type = const T;
};

template <>
struct TypeHolder<int> {
  using type = int;
};

template <typename T>
using TypeAlias = typename TypeHolder<T>::type;

// 你原有的foo函数完全不变
template <typename T>
void foo(TypeAlias<T> var) {
  printf("var = %f\n", static_cast<double>(var));
}

// 仅新增以下转发层代码，自动完成类型推导
template <typename T>
void foo(T&& var) {
  using RawT = typename std::decay<T>::type;
  foo<RawT>(std::forward<T>(var));
}

该方案兼容C++11及以上所有标准，仅新增不到10行代码，完全满足你在大型代码库中改动量最小的要求。所有原有foo的调用逻辑不需要做任何修改，也不需要手动指定模板参数。

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