(Если вы являетесь разработчиком С++ 11, перейдите к полужирным абзацам.)
Скажем, я хочу написать метод шаблона, который вызывает и возвращает результат переданного объекта, тип которого является параметром шаблона:
template<ReturnType, T>
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<int, MyClass>(object);
Нам не нужно писать MyClass
благодаря вычету типа, и вызов становится:
int x = doSomething<int>(object);
Но исключение <int>
также приводит к ошибке компиляции, потому что метод не требует возврата int для назначения ему x
(он мог бы возвращать char
, например).
В С++ 0x/11 мы имеем auto
и decltype
, с помощью которых мы можем использовать вывод типа метода шаблона:
template<T>
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&
и возвращает a T
, а затем определяет тип возврата doSomething
как decltype(helper(foo.bar()))
. Но должен быть лучший способ, я чувствую это.