为何编译器无法从条件类类型参数推导模板参数？

问题代码 #

#include <type_traits>

template <int number, bool isTest1>
class TestClass1
{
};

template <int number, bool isTest1>
class TestClass2
{
};

template <int number, bool isTest1>
using MyTestClass = typename std::conditional<true, TestClass1<number, isTest1>, TestClass2<number, isTest1>>::type;

template <int number, bool isTest1>
auto createTest() -> MyTestClass<number, isTest1>
{
    return MyTestClass<number, isTest1>();
}

template <int number, bool isTest1>
auto function(int something, const MyTestClass<number, isTest1>& test) -> int
{
    return number;
}

int main()
{
    const MyTestClass<2, true> test = createTest<2, true>();
    function(123, test);

    // This works:
    // function<2, true>(123, test);

    return 0;
}

编译报错信息 #

main.cpp:31:23: error: no matching function for call to 'function(int, MyTestClass<2, true>&)'
   31 |     function(123, test);
      |                       ^
main.cpp:23:6: note: candidate: 'template<int number, bool isTest1> int function(int, MyTestClass<number, isTest1>&)'
   23 | auto function(int something, const MyTestClass<number, isTest1>& test) -> int
      |      ^~~~~~~~
main.cpp:23:6: note:   template argument deduction/substitution failed:
main.cpp:31:23: note:   couldn't deduce template parameter 'number'
   31 |     function(123, test);
      |                       ^

原因解析 #

编译器拒绝这段代码是完全合理的，核心原因在于别名模板的实例化类型无法反向推导原别名模板的模板参数：

• MyTestClass<2, true>是别名模板的实例化，最终等价于TestClass1<2, true>（因std::conditional第一个参数为true）。
• 调用function(123, test)时，编译器需要推导模板参数number和isTest1，但此时test的实际类型是TestClass1<2, true>——别名模板在模板参数推导过程中不会被"展开"，编译器无法建立TestClass1<2, true>与MyTestClass<number, isTest1>之间的关联，自然无法推导出number=2和isTest1=true。

而显式指定模板参数function<2, true>(123, test)能正常工作，是因为此时无需推导，编译器直接使用指定参数实例化模板，匹配对应的函数签名。

解决思路 #

如果想要让编译器自动推导，可尝试以下方案：

• 让TestClass1和TestClass2公开模板参数信息，比如添加静态成员常量：

  template <int number, bool isTest1>
  class TestClass1
  {
  public:
      static constexpr int value = number;
      static constexpr bool flag = isTest1;
  };
  

  之后可通过decltype(test)::value获取参数，或结合C++20概念约束推导逻辑。
• 直接将函数参数类型改为const TestClass1<number, isTest1>&或const TestClass2<number, isTest1>&（但会失去std::conditional的灵活性）。
• 使用类模板特化等方式，让MyTestClass的实例类型与模板参数建立可推导的关联。

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