报告将受概念约束的表达式分配给声明为 auto 的变量的情况,并建议添加类型约束。

示例:


  template
  concept Foo = true;

  Foo auto func() { return true; }

  void bar() {
      auto f = func(); //在此处警告需要添加约束 "Foo"。
  }

2020.2 的新功能