Удалить ссылку в decltype (вернуть T вместо T &, где T & - это decltype)
(Если ты're C ++ 11 pro, перейдите к жирному абзацу.)
Позволять'скажем, я хочу написать шаблонный метод, который вызывает и возвращает результат переданного объекта, тип которого является параметром шаблона:
template
ReturnType doSomething(const T & foo) {
return foo.bar(); // EDIT: Might also be an expression introducing a temp val
}
ТакT
должен иметь методReturnType T::bar() const
для того, чтобы использоваться в вызове, как это:
struct MyClass {
...
int bar() const;
...
};
...
MyClass object;
int x = doSomething(object);
Мы недолжен написатьMyClass
благодаря выводу типа и вызов становится:
int x = doSomething(object);
Но опуская тоже приводит к ошибке компиляции, потому что метод неt требуется вернуть int для того, чтобы быть назначенным
x
потом (может вернутьсяchar
например).
В C ++ 0x / 11 мы имеемauto
а такжеdecltype
с помощью которого мы можем использовать тип вывода метода шаблона:
template
auto doSomething(const T & foo) -> decltype(foo.bar()) {
return foo.bar(); // EDIT: Might also be an expression introducing a temp val
}
Компилятор теперь выяснит, какой типfoo.bar()
это и просто использует это как тип возвращаемого значения. С нашим конкретным классомMyClass
это будетint
и следующего будет достаточно:
int x = doSomething(object);
Теперь на мой вопрос:
Если MyClass определяетbar()
как возвращениеint&
тип возвратаdoSomething(object)
также будет =int&
decltype(foo.bar())
, Это проблема, так как теперь G ++ соответствует тому, что явозврат ссылки на временный.
Как я могу это исправить? Есть ли что-то вродеremove_reference
какой можно использовать как?remove_reference(decltype(foo.bar()))
Я думал о том, чтобы просто объявить вспомогательный метод, который принимаетT&
и возвращаетT
а затем определить тип возвращаемого значенияdoSomething
бытьdecltype(helper(foo.bar()))
, Но должен быть лучший способ, яЯ чувствую это.