模板参数不明确
Ambiguous template parameter
我创建了一个定义为的模板函数
template < typename _Iter8, typename _Iter32 >
int Utf8toUtf32 ( const _Iter8 & _from, const _Iter8 & _from_end, _Iter32 & _dest, const _Iter32 & _dest_end );
已编辑:第一个参数为常量类型。
第一和第三参数改变以反映它们的新位置。第二个和第四个参数标记迭代的上边界。
我希望实现一个"一个函数适合所有人"的逻辑。唯一的规定是两个_Iter
类型是相同的类型并且是可引用的。此外,我希望模板参数是可重复数据消除的。
我遇到的第一个问题是
char utf8String [] "...some utf8 string ...";
wchar_t wideString [ 100 ];
char * pIter = utfString;
Utf8toUtf16( pIter, pIter + n, wideString, wideString + 100 );
_Iter16
不明确。我猜是因为编译器将第三个参数视为wchar_t[ 100 ] type
,将第四个参数视为wchar_t* type
。如果我错了,请纠正我。将代码更改为:
Utf8toUtf16( pIter, pIter + n, (wchar_t*)wideString, wideString + 100 );
解决了问题。丑陋但有效。
然后我遇到了另一个问题:
unsigned long nCodepoint;
Utf8toUtf32( pIter, pIter + n, &nCodepoint, &nCodepoint + 1 ));
显然,如果我将nCodepoint
更改为数组类型,并应用与第一个类型相同的强制转换,它就会编译。
我不确定我是否错误地定义了模板参数。我的问题是,考虑到上面的限制,我如何正确地对其进行编码,有没有一种方法可以在不使用强制转换的情况下做到这一点?
编辑:正如Jogojapan和DyP在下面指出的那样,上面的演员阵容不应该编译。我本应该创建一个指向数组前面的新指针并将其传入。至于nCodepoint,我可能不得不将其创建为长度为1的数组。
由于日本政府实际上给出了答案,我将把它变成一个社区wiki。
IMO,这是一个充分的解决方案:
template < typename Iter8, typename Iter32 >
Iter32 Utf8toUtf32(Iter8 _from, Iter8 _from_end, Iter32 _dest, Iter32 _dest_end);
这是为了返回您希望_dest
更改为的内容。
如果您真的还需要返回一个int
,您可以返回一对。
为了反映要从哪些迭代器中读取,以及要向哪个迭代器写入,可以为模板参数使用命名方案,例如InputIterator8
和OutputIterator32
。
从标准库的一个功能进行类比:
std::vector<int> v = {1,2,3,4};
for(auto i = v.begin(); i != v.end();)
{
if(*i == 2)
{
i = v.erase(i); // iterator invalidated and new "next" iterator returned
}
}
如果您希望函数a)接受数组,b)类似于标准库函数,我看不出其他方法,只能返回"更改"的迭代器。我所知道的唯一一个真正更改迭代器的库函数是std::advance
。
示例:
template < typename Iter8, typename Iter32 >
std::tuple<int, Iter8, Iter32> Utf8toUtf32(Iter8 _from, Iter8 _from_end,
Iter32 _dest, Iter32 _dest_end);
char utf8String [] = "...some utf8 string ...";
wchar_t wideString [ 100 ];
char* pUtf8Res = nullptr;
wchar_t* pUtf16Res = nullptr;
int res = 0;
std::tie(res, pUtf8Res, pUtf16Res) = Utf8toUtf16( begin(pIter), end(pIter),
begin(wideString), end(wideString) );
(jogojapan编辑)
如果因为要更新迭代器所指向的文本位置而必须继续将迭代器作为引用传递,则问题中描述的这两个问题都无法直接解决。
问题1:将局部数组wideString
传递给函数将意味着其类型衰减为wchar_t*
右值,并且不能绑定到wchar_t *&
非常量引用。换句话说,不能让函数修改本地数组的地址。将其转换为指针并不能改变这一事实,并且编译器在接受该解决方案时是错误的。
问题2:同样,通过引用传递nCodepoint
的地址是不可能的,因为该地址无法更改。唯一的解决方案是先将地址存储在一个单独的指针中,然后传递:
unsigned long *pCodepoint = &nCodepoint;
Utf8toUtf32(pIter,PIter+5,pCodepoint,pCodepoint+1);
(jogojapan编辑)
如果你想通过引用传递,但你想让函数足够灵活,也可以接受非引用参数,你实际上可以提供模板的重载定义:
/* Using C++11 code for convenience. Rewriting in C++03 is easy. */
#include <type_traits>
template <typename T>
using noref = typename std::remove_reference<T>::type;
template <typename Iter8, typename Iter32>
int Utf8toUtf32 (Iter8 &from, const Iter8 from_end, Iter32 &dest, const Iter32 dest_end)
{
return 0;
}
template <typename Iter8, typename Iter32>
int Utf8toUtf32 (Iter8 &from, const Iter8 from_end, noref<Iter32> dest, const Iter32 dest_end)
{
noref<Iter32> p_dest = dest;
return Utf8toUtf32(from,from_end,p_dest,dest_end);
}
template <typename Iter8, typename Iter32>
int Utf8toUtf32 (noref<Iter8> from, const Iter8 from_end, Iter32 &dest, const Iter32 dest_end)
{
noref<Iter8> p_from = from;
return Utf8toUtf32(p_from,from_end,dest,dest_end);
}
template <typename Iter8, typename Iter32>
int Utf8toUtf32 (noref<Iter8> from, const Iter8 from_end, noref<Iter32> dest, const Iter32 dest_end)
{
noref<Iter8> p_from = from;
noref<Iter32> p_dest = dest;
return Utf8toUtf32(p_from,from_end,p_dest,dest_end);
}
然后你可以用各种左值和右值的组合来调用它:
int main()
{
char input[] = "hello";
const char *p_input = input;
unsigned long dest;
unsigned long *p_dest = &dest;
std::string input_str("hello");
Utf8toUtf32(input,input+5,&dest,&dest+1);
Utf8toUtf32(p_input,p_input+5,&dest,&dest+1);
Utf8toUtf32(input,input+5,p_dest,p_dest+1);
Utf8toUtf32(p_input,p_input+5,p_dest,p_dest+1);
Utf8toUtf32(begin(input_str),end(input_str),p_dest,p_dest+1);
Utf8toUtf32(begin(input_str),end(input_str),&dest,&dest+1);
return 0;
}
但请注意:当传递右值(如数组或类似&local_var
的表达式)时,调用会起作用,不会有未定义的行为,但当然局部变量或数组的地址仍然不会改变。因此,在这种情况下,调用者将无法找出函数能够处理的字符数。
- 为函数定义符号不明确的指针参数
- 父类的私有函数会导致对具有相同名称和相似参数的子类中的公共函数的不明确调用
- 对函数的重新定义和不明确的调用具有数组参数
- 函数模板和不明确的模板参数
- 编译器确定不明确的参数
- 重载调用是不明确的:一对内联映射作为构造函数参数
- 如果存在具有不同参数的继承成员,为什么对 C++ 结构函数的调用不明确?
- C++具有可变参数包的函数的部分模板参数推导会在 Clang 和 MSVC 中产生不明确的调用
- 不明确的可变参数类成员访问
- 不明确的重载函数仅在参数的模板参数上有所不同
- 递归调用可变参数模板函数重载时的不明确调用
- 对没有参数的可变参数模板函数的不明确调用
- 解决模板参数推导中的不明确调用
- 可变函数指针参数的模板参数推导-处理不明确的情况
- 64 位C++传递具有"不同"调用约定作为参数的函数会产生不明确的错误
- SFINAE:如果在没有参数的情况下调用,则重载不明确
- 模板参数推导,案例不明确
- 使用可变模板参数传递成员函数指针是不明确的
- 错误 C2782:"常量_Ty &std::min(常量 _Ty &,常量_Ty &)":模板参数"_Ty"不明确
- 依赖类型不明确的 c++11 可变参数函数模板重载是否不明确