具有多个转换的模板参数推导

Template argument deduction with multiple transformations

本文关键字：参数 转换      更新时间：2023-10-16

我正在尝试编写一个泛型函数，其中包含一个参数，其中包含模板类型的多个转换，例如：

#include <iostream>
#include <string>
#include <type_traits>
template< typename _T_ >
void foo
(
const std::basic_string< typename std::remove_cv< typename std::remove_extent< _T_ >::type >::type > & str
)
{
std::cout << str << std::endl;
}
int main( void )
{
foo< char const [ 3 ] >( "abc" ); // OK
foo( "abc" );                     // Cannot deduce template argument
return 0;
}

遗憾的是，编译器无法推断出正确的类型。
使用最新版本的 Clang、GCC 和 MSVC 进行测试。

有趣的是，编译器似乎能够通过一个转换来推断：

const std::basic_string< typename std::remove_extent< _T_ >::type > & str

显然，上面的例子失败了，因为const，因此需要在remove_extent之后进行remove_cv。

这是意料之中的吗，有什么办法可以实现这一目标吗？

包含限定 ids 的复杂名称是 C++ 中的非推导上下文。 在

foo< char const [ 3 ] >( "abc" );

T提供模板参数。 在

foo( "abc" );

模板参数T无法推导(函数参数与模板参数是分开的，因此不会从"abc"推导出T(。

一种解决方案是先推导模板参数，然后在参数为const CharT*时构造basic_string：

template <class CharT>
void foo(const std::basic_string<CharT>& string)
{
// ...
}
template <class CharT>
void foo(const CharT* p)
{
std::basic_string<CharT> s{p};
foo(s);
}

另一种解决方案是简单地依靠类模板参数推导来处理这两种情况：

template <class Arg>
void foo(Arg&& arg)
{
std::basic_string s{std::forward<Arg>(arg)};
// ...
}

也许你可以在模板参数列表中构建类型，并在函数参数列表中T作为参考

template<typename T, typename U = const std::basic_string<std::remove_cv_t<std::remove_extent_t<T>>>>
void foo
(
T& t // deducible context
)
{
U& u = t;
std::cout << u << std::endl;
}

戈博尔特演示

相关文章：