16

我想引用内置运算符的函数指针，但我不知道如何指定具体的类型重载。

我有以下模板类签名：

template<typename ParamsType, typename FnCompareType>
class MyAction
{
public:
    MyAction(ParamsType& arg0, ParamsType& arg1, FnCompareType& fnCpmpare) 
    : arg0_(arg0), arg1_(arg1), fnCompare_(fnCpmpare) {}

    bool operator()()
    {
        if((*fnCompare_)(arg0_,arg1_)
        {
            // do this
        }
        else
        {
            // do s.th. else
        }
    }

private:
    ParamsType& arg0_;
    ParamsType& arg1_;
    FnCompareType& fnCompare_;
}

并想使用这样的语法：

void doConditional(int param1, int param2)
{
    MyAction<int,&::operator>=> action(param1,param2);
    if(action())
    {
        // Do this
    }
    else
    {
        // Do that
    }
}

但这不会编译：

error: ‘::operator>=’ has not been declared

我能做些什么来引用这种内在的静态操作？

4

2 回答 2

22

内置运算符

为什么你不能拥有它们的函数指针：

C++11，§13.6/1，[over.built]

本节规定了代表第 5 章中定义的内置运算符的候选运算符函数。这些候选函数参与13.3.1.2 中描述的运算符重载决策过程，并且不用于其他目的。

内置运算符（用于内置类型的运算符）不是真正的运算符函数。所以你不能让函数指针指向它们。您也不能使用operator<(A,B)语法调用它们。它们只参与重载决议，但编译器会将它们直接翻译成适当的 asm/机器指令，而无需任何类型的“函数调用”。

解决这个问题的方法：

user1034749 已经回答了这个问题，但为了完整起见：

该标准在§20.8, [function.objects]中定义了很多函数对象，即

  • 算术运算
  • 比较
  • 逻辑运算
  • 位运算

函数对象是函数对象类型的对象。在人们期望将指向函数的指针传递给算法模板的地方（第 25 条），接口被指定为接受函数对象。这不仅使算法模板与函数指针一起工作，而且使它们能够与任意函数对象一起工作。

C++11，§20.8.5，[比较]

  • 等于
  • 不等于
  • 更大，更少
  • 大于等于
  • 小于等于

这些是模板化的函数对象，它们在其operator()函数中衰减为类似的运算符。它们可以用作函数指针参数。

user1034749 是对的，我想声明：没有其他方法，这些方法在用法上完全等同于“原始”函数指针。给出的参考。

标准类类型运算符

您可以将标准库运算符用作函数指针（以“真实函数”的形式出现）。

但是您必须参考模板的相应实例。编译器将需要适当的提示来推断正确的模板。

这适用于我在 MSVC 2012 上operator+使用std::basic_string

template<class Test>
Test test_function (Test const &a, Test const &b, Test (*FPtr)(Test const &, Test const &))
{
   return FPtr(a, b);
}

int main(int argc, char* argv[])
{
   typedef std::char_traits<char> traits_t;
   typedef std::allocator<char> alloc_t;
   std::basic_string<char, traits_t, alloc_t> a("test"), b("test2");
   std::cout << test_function<std::basic_string<char, traits_t, alloc_t>>(a, b, &std::operator+) << std::endl;
   return 0;
}

如果不推导出模板参数，test_function这将失败（至少对于 MSVC 2012）。

于 2013-07-15T01:36:45.043 回答
9

您可以使用与 C++ 标准库中相同的解决方案：

std::sort (numbers, numbers+5, std::greater<int>());

哪里更大

template <class T> struct greater : binary_function <T,T,bool> {
    bool operator() (const T& x, const T& y) const {return x>y;}
};

在你的情况下http://www.cplusplus.com/reference/functional/greater_equal/

关于内置运算符的参考。

您可以为任何类引用现有的 operator<（当然，如果它们不是私有的、受保护的或您的类/函数不是朋友）。但是对于内置类型（bool、short、int、double）的 opeator<，它是不可能的参考。如果不看 C++ 标准的事件，您可以从我上面的文字中看到。

于 2013-07-14T23:49:02.737 回答