Question

我对C ++ 11功能相对较新。我对自动功能以及它如何类型推断出仿函数有疑问。请考虑以下代码段：

bool test1(double a, double b) {
   return (a<b);
}

   bool test2(double a, double b) {
       return (a>b);
   }

   struct Test1 {
       bool operator()(double a, double b) {
          return (a<b);
       }
   };

   struct Test2 {
       bool operator()(double a, double b){
          return (a>b);
       }
   };

   int main() {
       const bool ascending = false; 
      auto comparator =  ascending? test1:test2; // works fine
      auto comparator2 = ascending? Test1():Test2(); // compiler error: imcompatible types
      std::function<bool(double, double)> comparator3 = ascending? Test1():Test2(); // compiler error: imcompatible types;

   }

虽然auto（和std :: function）适用于函数，但它对函数对象失败（类型推导）。为什么是这样？我在这里遗漏了一些基本的w.r.t类型演绎。

（我正在使用Visual Studio 2012）

Answer 1

条件（?）运算符的C ++ 11标准的第5.16 / 3段：

[...]如果第二个和第三个操作数具有不同的类型并且具有（可能是cv-qualified）类类型，或者如果两者都是相同值类别和相同类型的glvalues，除了cv-qualification，an 尝试将每个操作数转换为另一个操作数的类型。 [...] 如果两者都可以转换，或者可以转换，但转换不明确，程序格式不正确。 [...]

在您的情况下，Test1和Test2都不能转换为其他类型。这就是编译器抱怨“不兼容类型”的原因。

Nptice，如果不是这种情况，comparator2和comparator3的类型将根据{{1}的值在运行时确定}}。但是，C ++是一种静态类型的语言，这意味着所有对象的类型必须在编译时确定。

如果您需要执行比较器的运行时选择并将结果保存在一个变量中，请考虑首先将两个对象分配给可以封装它们的相同类型的仿函数，然后然后执行选择：

ascending

Answer 2

问题是条件运算符?:的两个选项必须可以转换为单个公共类型。在这种情况下，Test1和Test2不相关，也无法像这样使用运营商。

但是，这是合法的：

 int main() {
      const bool ascending = false; 
      std::function<bool(double, double)> t1 = Test1();
      std::function<bool(double, double)> t2 = Test2();
      auto comparator4 = ascending? t1: t2;
   }

Answer 3

test1和test2都属于bool(double, double)类型，因此无论您选择哪个分支，条件表达式的类型都是相同的。 Test1()的类型为Test1，Test2()的类型为Test2。所以表达式没有共同的类型。这两种类型的都可以用于构造std::function<bool(double, double)>对象，使用该类的构造函数模板，但不会自动对表达式执行此类强制转换：您必须手动强制转换：

auto comparator3 = ascending ? std::function<bool(double, double)>(Test1())
                             : std::function<bool(double, double)>(Test2());

使用auto进行仿函数的类型推导

3 个答案: