c++ - 防止带有尾随返回类型的悬空右值引用

Question

这个函数工作正常:

std::string get_str() {
  return std::get<0>( make_tuple(std::string("hi")) );
}

但是，如果您尝试对 decltype 定义的尾随返回类型执行相同的操作，该函数将返回悬空右值引用:

auto get_str() -> decltype( std::get<0>( make_tuple(std::string("hi")) ) ) {
  return std::get<0>( make_tuple(std::string("hi")) );
}

我有一个很酷的尾随返回类型应用程序，我想在其中使用 std::get。不幸的是，在这种情况下，std::get 的返回类型是一个右值引用，所以 decltype 只是在做它的工作...

您是否知道使用尾随返回类型和 decltype 但避免悬挂右值引用的方法？

Answer 1

您可以使用标准的 remove_reference 类型特征删除引用:

#include <string>
#include <tuple>
#include <type_traits>

auto get_str() ->
    std::remove_reference<
        decltype( std::get<0>( make_tuple( std::string("hi") ) ) )
    >::type
{
    return std::get<0>( make_tuple( std::string("hi") ) );
}