3

我正在尝试获取范围的显式类型（将来我可能希望将其作为字段存储在类中）。但是，由于某种原因，它评估为void?

#include <iostream>
#include <set>
#include <range/v3/view/transform.hpp>

class Alpha {
public:
  int x;
};

class Beta : public Alpha {

};

class Foo {
public:
  std::set<Alpha*> s;

  using RangeReturn = decltype(std::declval<std::set<Alpha*>>() | ranges::v3::view::transform(std::function<Beta*(Alpha*)>()));
  RangeReturn r();
};

Foo::RangeReturn Foo::r() {
  return s | ranges::v3::view::transform([](Alpha* a) { return static_cast<Beta*>(a); });
}

int main() {
}

使用 g++ -std=c++17 编译时，它给出

main.cpp:24:88: error: return-statement with a value, in function returning 'void' [-fpermissive]

(g++ 版本 g++ (Ubuntu 7.3.0-27ubuntu1~18.04) 7.3.0)

我在 Visual Studio 2017 v. 15.9 上遇到类似错误

这个问题是我的另一个问题的延续：如何将范围存储为类中的字段？但更具体，我相信它应该分开。

4

1 回答 1

4

您的代码不起作用，因为：

  • range/v3 视图禁用右值视图，因为这将导致悬空引用。因此，在您的 中declval()，您还应该使用左值：

    std::declval<std::set<Alpha*>&>()
//                           ^ here should be lvalue

  • 视图转换信息在模板参数中进行编码。所以如果你用view::transform(std::function<Beta*(Alpha*)>())来表示类型，你的表达式应该有完全相同的类型。lambda 不行。

一个工作版本是：

class Foo {
public:
  std::set<Alpha*> s;

  using RangeReturn = decltype(std::declval<std::set<Alpha*>&>() | ranges::v3::view::transform(std::function<Beta*(Alpha*)>()));
  RangeReturn r();
};

Foo::RangeReturn Foo::r() {
  return s | ranges::v3::view::transform(std::function<Beta*(Alpha*)>{
          [](Alpha* a) { return static_cast<Beta*>(a); }
          });
}

但实际上，以这种方式存储视图并不是一个好主意。

于 2018-12-07T06:40:33.787 回答