c – 如何使一个常量引用的元组？

说有两个功能：

void ff( const std::tuple<const int&> ) { }

template < typename TT >
void gg( const std::tuple<const TT&> ) { }

并呼吁这些功能：

int xx = 0;
ff( std::tie( xx ) ); // passes
gg( std::tie( xx ) ); // FAILS !!

GCC 4.7.2无法编译最后一行并报告错误信息,如：

note:   template argument deduction/substitution Failed:
note:   types ‘const TT’ and ‘int’ have incompatible cv-qualifiers
note:   ‘std::tuple<int&>’ is not derived from ‘std::tuple<const TT&>’

第一个问题是,如果这符合C11标准,如果没有,那为什么？

此外,为了克服这个问题,需要将一个const引用元组传递给gg,而不是传递一个非const引用的元组(其中std :: tie使得).这可以通过以下方式完成：

gg( std::tie( std::cref(X) ) );

然而,额外调用std :: cref是一种乏味的东西,所以有一些像ctie这样会产生一个常量引用的元组是非常好的.

第二个问题是如果有必要手动写ctie,如果是的话,那么这是最好的办法吗？

template < typename... T >
std::tuple<const T&...> ctie( const T&... args )
{
    return std::tie( args... );
}

auto t = ctie(5);