Question

考虑以下示例。

#include <iostream>
#include <boost/optional.hpp>

template < typename A >
int boo( const boost::optional< A > &a );

template < typename A >
int foo( const A &a )
{
    return boo( a );
}

template < typename A >
int boo( const boost::optional< A > & )
{
    return 3;
}


int main()
{
    std::cout << "foo = " << foo( 3 ) << std::endl;
    std::cout << "boo = " << boo( 3 ) << std::endl;
}

使用g++4.3.0编译会引发下一个编译错误：

dfg.cpp: In function ‘int main()’:
dfg.cpp:25: error: no matching function for call to ‘boo(int)’
dfg.cpp: In function ‘int foo(const A&) [with A = int]’:
dfg.cpp:24:   instantiated from here
dfg.cpp:12: error: no matching function for call to ‘boo(const int&)’

What should I do differently (if possible with references from the C++ standard)? Why is it happening and how do I fix it?

编辑

修复方法是在＜code＞foo＜/code＞中创建正确的类型：

template < typename A >
int foo( const A &a )
{
    const boost::optional< A > optA( a );
    return boo( optA );
}

但问题仍然存在：为什么它不是自动创建的？

Answer 1

return boo( a );

这里a的类型是int，并且没有名为boo、接受int类型参数的函数。因此，您看到了这个错误：

dfg.cpp:25: error: no matching function for call to ‘boo(int)’

即使int可以被隐式转换为boost:：optional<；整数>，编译器无法推导boost:：optional<；的模板参数；T>。这是一种非推导上下文，其中显式需要提及类型为，



   return boo<A>(a);


《标准》在14.8.1.1美元中说，


  if a template-parameter is not used in
  any of the function parameters of a
  function template, or is used only in
  a non-deduced context, its
  corresponding template-argument cannot
  be deduced from a function call and
  the template-argument must be
  explicitly specified.

Answer 2

要解决此问题，您需要在调用boo时显式指定类型，即。

return boo<A>( a );

和

std::cout << "boo = " << boo<int>( 3 ) << std::endl;

编辑：删除了我的解释，这是垃圾，纳瓦兹的解释更好。。

Answer 3

您假设，因为＜code＞可选<；整数>有一个来自int的隐式构造函数，编译器应该知道这是您试图创建的类型。

模板类型推导不扩展到该类型。

您可以编写自己的boo模板，其中包含一个将可选作为概括的模板

template< typename A > int boo( const A& a );
template < typename A >
int boo( const boost::optional< A > & )
{
    return 3;
}

template < typename A >
int boo( const A & a )
{
    return boo<A>(boost::optional(a)); // allows implicit conversion
}

友情链接