Как ни странно, мне нужен тип по той же причине. Тело функции - это деталь реализации, и я хочу переместить ее в файл cpp. Но это оставляет тип возврата на сайте объявления без каких-либо вычетов, поэтому он не может быть автоматическим.
аюсь получить явный тип диапазона (я могу захотеть сохранить его как поле в классе в будущем). Однако, по некоторым причинам, он оценивает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
Этот вопрос является продолжением моего другого вопроса:Как сохранить диапазон как поле в классе? но более конкретно, и я считаю, что это заслуживает отдельного отношения.