尽管定义了强制转换运算符，但没有强制转换

Question

谁能帮我理解为什么下面的代码不能编译：

template< typename T >
class A
{};

template< typename U >
class wrapper
{
  public:
    // cast operator
    operator wrapper< A<void> > ()
    {
      return wrapper< A<void> >{};
    }

};

template< typename T >
void foo( wrapper< A<T> > )
{}


int main()
{
  foo(  wrapper<void>{} );
}

错误信息：

t.cpp:24:7: error: no matching function for call to 'foo'
      foo(  wrapper<void>{} );
      ^~~
t.cpp:18:10: note: candidate template ignored: could not match 'A<type-parameter-0-0>' against 'void'
    void foo( wrapper< A<T> > )
         ^
1 error generated.

以及如何解决？

我预计 wrapper<void> 使用 class wrapper 的转换运算符转换为 wrapper< A<void >。

Answer 1

您可以通过使用static_cast 将wrapper< void > 显式转换为wrapper< A<void> > 来修复它，如下所示：

int main()
{
  foo( static_cast< wrapper< A<void> > >(wrapper<void>{}) );
}

编译顺利。

---

请注意，模板推导确实会尝试完全匹配模板参数而不进行转换。这意味着如果为了使事情完全匹配而需要强制转换，那么强制转换必须是显式的。

Answer 2

问题是foo-s 模板推演失败，因为隐式转换。

• foo 尝试推断类型 T
• P = wrapper<void>，A = wrapper<A<T>>
• foo 无法推断出A<T> 是什么

所以，我们必须帮助foo推导出T。

解决方案 1

让foo 明确知道什么是 T：

foo<void>( wrapper<void>{} );

解决方案 2

将wrapper 明确转换为wrapper< A<void> > 以让foo 知道T 是什么：

foo( static_cast< wrapper< A<void> > >(wrapper<void>{}) );