Question

我想使用C ++ 17结构化绑定为类成员变量赋值，如下所示：

#include <cmath>
#include <iostream>

struct Result {
  double value;
  bool error;
};

Result square_root(double input) { return {std::sqrt(input), input < 0}; }

struct Calculator {
  double result_;
  bool error_;

 public:
  void ComputeSquareRoot(double input) {
    [ result_, error_ ] = square_root(input);
  }

  void DisplayResult() {
    if (error_)
      std::cout << "Cannot take the square root of a negative number.\n";
    else
      std::cout << "The square root is " << result_ << ".\n";
  }
};

int main(int argc, char* argv[]) {
  Calculator calc;
  calc.ComputeSquareRoot(64);
  calc.DisplayResult();
}

但是这段代码无法编译并出现以下错误（使用clang 5.0）：

> clang++ structured_bindings.cpp -std=c++17 -o structured_bindings
structured_bindings.cpp:20:7: error: 'result_' in capture list does not name a variable
    [ result_, error_ ] = square_root(input);
      ^
structured_bindings.cpp:20:16: error: 'error_' in capture list does not name a variable
    [ result_, error_ ] = square_root(input);
               ^
structured_bindings.cpp:20:25: error: expected body of lambda expression
    [ result_, error_ ] = square_root(input);
                        ^
3 errors generated.

似乎与lambda捕获有些混淆。当然这会奏效：

auto[result, error] = square_root(input);
result_ = result;
error_ = error;

但我想避免使用新的局部变量。结构化绑定有可能吗？

Answer 1

使用std::tie为现有对象指定值：

std::tie(result_, error_) = square_root(input);

这就是它被添加到C ++ 11的原因。当然，您需要放弃使用Result来支持std::tuple。哪种IMO更适合这种特殊的＆＃34;返回多种东西＆＃34;场景。

结构化绑定专门用于声明新名称。

另一种方法，可能更好，因为C ++ 1z在桌面上，是不重新发明轮子。返回std::optional

auto square_root(double input) {
   return input < 0 ? std::nullopt : std::optional{std::sqrt(input)}; 
}

这有明确的语义＆＃34;可能有一个值，或者不是＆＃34;。

顺便说一句，无条件地用负输入调用std::sqrt是一个坏主意。特别是如果您之前没有以任何特殊方式配置浮点环境。

是否可以使用结构化绑定来分配类成员？

1 个答案: