3

我对 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 ）适用于函数，但它对于函数对象失败（类型推断）。为什么是这样？我在这里遗漏了一些基本的 wrt 类型推断。

（我正在使用 Visual Studio 2012）

4

3 回答 3

10

根据条件( ?) 运算符的 C++11 标准第 5.16/3 段：

[...] 如果第二个和第三个操作数具有不同的类型并且具有（可能是 cv 限定的）类类型，或者如果两者都是相同值类别和相同类型（除了 cv 限定）的 glvalue，则进行尝试将这些操作数中的每一个转换为另一个的类型。[...] 如果两者都可以转换，或者可以转换但转换不明确，则程序格式错误。[...]

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

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

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

    std::function<bool(double, double)> c1 = Test1();
    std::function<bool(double, double)> c2 = Test2();
    auto c = (ascending) ? c1 : c2;
于 2013-03-26T21:10:05.147 回答
3

问题是条件运算符的两个选项?:必须可转换为单一的通用类型。在这种情况下，Test1andTest2是不相关的，不可能像那样使用运算符。

但是，这是合法的：

 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;
   }
于 2013-03-26T21:08:35.793 回答
3

test1并且test2两者都是 type bool(double, double)，所以无论你采用什么分支，条件表达式的类型都是相同的。is的类型，isTest1()的类型。所以表达式没有通用类型。这两种类型都可以用来构造一个对象，使用该类的构造函数模板，但是这种类型的转换不会自动为表达式执行：您必须手动转换：Test1Test2()Test2std::function<bool(double, double)>

auto comparator3 = ascending ? std::function<bool(double, double)>(Test1())
                             : std::function<bool(double, double)>(Test2());
于 2013-03-26T21:08:50.060 回答