隐式类型转换为数组

Implicit type conversion to array

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

我就直截了当地说：为什么第 38 行不隐式转换为 char (&([32]？

template <size_t StringSize>
struct StringT
{
private:
char mChars[StringSize];
public:
// Note: CharArray can decay to char*.
typedef char (&CharArray)[StringSize];
CharArray array() { return mChars; }
operator CharArray() { return mChars; }
operator const CharArray() const { return mChars; }
};
#include <iostream>
template<size_t Size>
void f(char (&array)[Size])
{
std::cout << "I am char array with size " << Size << "n";
}
int main()
{
StringT<32> someText;
// Conversion through method compiles.
f(someText.array());
// Explicit conversion compiles.
f((StringT<32>::CharArray)someText);
// Implicit conversion fails:
// source_file.cpp(38): error C2672: 'f': no matching overloaded function found
// source_file.cpp(38): error C2784: 'void f(char (&)[Size])': could not deduce template argument for 'char (&)[Size]' from 'StringT<32>'
// source_file.cpp(19): note: see declaration of 'f'
f(someText);
}

这目前只是一个小实验，但如果StringT<>要达到预期目的，隐式转换是非常必要的 - 替换我正在使用的代码库中的大部分字符数组。

提前谢谢。

我知道这是针对重构任务的，但是在您的场景中可能不可行：

如果要维护main()函数中所示的接口，则需要创建一个模板化的f()重载，该重载将在应用任何隐式转换之前直接解析为StringT<Size>。

template<size_t Size>
void f(StringT<Size>& v)
{
f(v.array());
}

注：注：我把它做成 non-const 是因为您的原始代码有一些奇怪的 const 处理，我希望该示例编译为您的 OP 的插入。

相关文章：