C++ boost函数重载模板

我无法弄清楚为什么这个段给出了未解决的重载函数错误(gcc版本4.3.4(Debian 4.3.4-6)):

#include 
#include 

// this does not work
int main1()
{
    typedef boost::function max;
    max m(&std::max);
}

// this does not work
int main2() {
    typedef boost::function2 max;
    max m(static_cast(&std::max));
}

你能帮助我吗,谢谢

test.cpp: In function âint main()â:
test.cpp:7: error: no matching function for call to âboost::function2::function2()â
/usr/include/boost/function/function_template.hpp:747: note: candidates are: boost::function2::function2(const boost::function2&) [with R = const int&, T0 = const int&\
, T1 = const int&]
/usr/include/boost/function/function_template.hpp:739: note:                 boost::function2::function2(boost::function2::clear_type*) [with R = const int&, T0 = cons\
t int&, T1 = const int&]
/usr/include/boost/function/function_template.hpp:707: note:                 boost::function2::function2() [with R = const int&, T0 = const int&, T1 = const int&]

max/min定义为

  template
    inline const _Tp&
    max(const _Tp& __a, const _Tp& __b)
    {
      // concept requirements
      __glibcxx_function_requires(_LessThanComparableConcept<_Tp>)
      //return  __a < __b ? __b : __a;
      if (__a < __b)
        return __b;
      return __a;
    }

我尝试了各种模板显式实例化,但似乎没有任何工作.g ++ 4.1会出现同样的问题,但ICC却没有

这很有效

#include 
#include 

namespace std_ {
    template
    inline const _Tp&
    max(const _Tp& __a, const _Tp& __b)
    {
        // concept requirements
        //return  __a < __b ? __b : __a;
        if (__a < __b)
            return __b;
        return __a;
    }
}

int main()
{
    typedef const int &T;
    typedef boost::function min_;
    //typedef const int&(*min_)(const int&, const int&);
    min_ m(::std_::max);
}

还有这个

#include 
#include 

int main()
{
    //typedef const int &T;
    //typedef boost::function min_;
    typedef const int&(*min_)(const int&, const int&);
    min_ m(::std::max);
}

academicRobo.. 6

更新:这是一个已在gcc> = 4.4中修复的gcc错误.bugzilla.另外,用简化的测试用例修改了我的答案.

这个问题有两个组成部分:boost :: function采用函数指针和gcc bug的方式.

boost :: function - 你在问题中列出的错误信息有些奇怪; 没有候选构造函数接受像函数地址这样的东西.深入了解boost :: function src,相关的构造函数是(省略了enable_if参数):

template
function(Functor f) : base_type(f) {}

所以boost :: function在指定函数指针的类型时根本没有帮助你; 如果函数重载,则必须强制转换地址以指定其类型.如果使用重载的函数地址,则无法实例化上述模板,因此相应的构造函数不会显示在错误消息中.

gcc bug - 如果你再次查看stl_algobase.h标题,你会看到有两个名为max的模板,一个两个param版本和一个param版本.这应该不是你的代码问题,对吧？该术语&max应该实例化单个param版本并获取其地址.然而,事实并非如此.您可以在简化(无标题)测试用例中看到问题:

template 
const T& max(const T& x, const T& y){
   return x > y ? x : y;
}

template 
const T& max(const T& x, const T& y, C comp){
   return comp(x, y) ? y : x;

}

template 
struct functor{
   template 
   functor(F f) : f(f) {}
   R (*f)(A0, A1);
};

int main(void){
   functor func(&max);
   return 0;
}

上面的代码导致了一个unresolved overloaded function typegcc 4.3.4.修复是删除template max(...){...}定义或添加static_cast(...)函数地址.我猜这个问题与标准规定的部分显式参数规范的错误应用有关.它允许您省略尾随模板参数来执行诸如指定返回值类型而不是参数类型的操作.也就是说,当编译器只应实例化完全指定的模板时,编译器将实例化两个模板.虽然它没有实际意义,因为bug已经在gcc> = 4.4中得到修复.

因为不应该破解stl_algobase.h;),Vicente建议的工作是正确的,即将函数指针强制转换为所需的函数指针类型const int& (*)(const int&, const int&).在你的代码中,强制转换不起作用,因为正如GMan指出的那样,你正在转换为boost :: function <...>,它没有解决函数指针的歧义.

更新:这是一个已在gcc> = 4.4中修复的gcc错误.bugzilla.另外,用简化的测试用例修改了我的答案.

这个问题有两个组成部分:boost :: function采用函数指针和gcc bug的方式.

boost :: function - 你在问题中列出的错误信息有些奇怪; 没有候选构造函数接受像函数地址这样的东西.深入了解boost :: function src,相关的构造函数是(省略了enable_if参数):

template
function(Functor f) : base_type(f) {}

所以boost :: function在指定函数指针的类型时根本没有帮助你; 如果函数重载,则必须强制转换地址以指定其类型.如果使用重载的函数地址,则无法实例化上述模板,因此相应的构造函数不会显示在错误消息中.

gcc bug - 如果你再次查看stl_algobase.h标题,你会看到有两个名为max的模板,一个两个param版本和一个param版本.这应该不是你的代码问题,对吧？该术语&max应该实例化单个param版本并获取其地址.然而,事实并非如此.您可以在简化(无标题)测试用例中看到问题:

template 
const T& max(const T& x, const T& y){
   return x > y ? x : y;
}

template 
const T& max(const T& x, const T& y, C comp){
   return comp(x, y) ? y : x;

}

template 
struct functor{
   template 
   functor(F f) : f(f) {}
   R (*f)(A0, A1);
};

int main(void){
   functor func(&max);
   return 0;
}

上面的代码导致了一个unresolved overloaded function typegcc 4.3.4.修复是删除template max(...){...}定义或添加static_cast(...)函数地址.我猜这个问题与标准规定的部分显式参数规范的错误应用有关.它允许您省略尾随模板参数来执行诸如指定返回值类型而不是参数类型的操作.也就是说,当编译器只应实例化完全指定的模板时,编译器将实例化两个模板.虽然它没有实际意义,因为bug已经在gcc> = 4.4中得到修复.

因为不应该破解stl_algobase.h;),Vicente建议的工作是正确的,即将函数指针强制转换为所需的函数指针类型const int& (*)(const int&, const int&).在你的代码中,强制转换不起作用,因为正如GMan指出的那样,你正在转换为boost :: function <...>,它没有解决函数指针的歧义.

要批评代码,没有理由static_cast这样做.考虑所有演员要做的是使用构造函数boost::function2来创建一个新的boost::function2,然后将它复制构造成m.只需直接构建m:

#include 
#include 

int main()
{
    typedef boost::function2 max;
    max m(&std::max);
}

最后,首选语法boost::function是:

#include 
#include 

int main()
{
    typedef boost::function max;
    max m(&std::max);
}

n-ary特定类用于较旧的编译器支持.