Boost Hana type_c 模板参数扣除/替换失败

Question

我不明白为什么下面这个简单的例子会失败：

#include <boost/hana.hpp>

template <typename _T>
static constexpr void Foo(boost::hana::type<_T>) {
}

int main() {
    Foo(boost::hana::type_c<int>);
    return 0;
}

我收到以下错误消息：

[build] error: no matching function for call to ‘Foo(boost::hana::type<int>&)’
[build]    74 |     Foo(hana::type_c<int>);
[build]       |     ~~~^~~~~~~~~~~~~~~~~~~
[build] note: candidate: ‘template<class _T> constexpr void Morphy::Foo(boost::hana::type<T>)’
[build]    61 | static constexpr void Foo(hana::type<_T>) {
[build]       |                       ^~~
[build] note:   template argument deduction/substitution failed:
[build] note:   couldn’t deduce template parameter ‘_T’
[build]    74 |     Foo(hana::type_c<int>);
[build]       |     ~~~^~~~~~~~~~~~~~~~~~~

实现上述工作的唯一方法是通过编写 Foo<int>(boost::hana::type_c<int>) 来明确 Foo 的模板参数。 为什么编译器无法自动推导出模板参数？

请注意，如果我在 Foo 的声明中使用 boost::hana::basic_type 代替 boost::hana::type，则上述代码有效。 这种替代方法是否正确？

Answer 1

type_c<int> 是一个变量模板，它创建一个type<int> 类型的值。当传递type<int> 时，似乎Foo 应该很容易从type<_T> 推导出参数_T。但是这是不可能的，因为type 是一个别名模板，它引用了某个辅助类的成员，并且它的参数总是在非推导上下文中。

template< typename x_Type >
struct FooImpl
{
    using Type = x_Type;
};

template< typename x_Type >
using Foo = typename FooImpl<x_Type>::Type;

template< typename x_Type > // x_Type can not be deduced
void Bar(Foo<x_Type>) {}

int main()
{
    Bar(Foo<int>{});
    return 0;
}

online compiler

basic_type 有效，因为它是type_c 的实际类型。