为什么编译器不替换转换运算符中的类型？

理解 C 语言中的转换运算符

考虑以下代码片段：

template <class Type>
class smartref {
public:
    smartref() : data(new Type) { }
    operator Type&() { return *data; }
private:
    Type* data;
};

class person {
public:
    void think() { std::cout << "I am thinking"; }
};

int main() {
    smartref<person> p;
    p.think(); // Why doesn't the compiler try substituting Type?
}

在 C 中，转换运算符起作用在类型转换中起着至关重要的作用。那么，它们是如何工作的呢？

1.参数传递期间的转换：

在参数传递期间考虑转换运算符，遵循复制初始化规则。它们将源类型转换为任何兼容类型，无论转换是否为引用。

2.转换为引用：

如果转换后的类型是左值，则在条件运算符中允许转换为引用。此外，直接绑定引用还可能涉及到引用的转换。

3.转换为函数指针：

在进行函数调用时使用用户定义的函数指针或引用转换。

4.转换为非类类型：

隐式转换，例如布尔值转换，可以使用用户定义的转换函数。

5.转换函数模板：

模板可用于创建将类型转换为任何指针类型（成员指针除外）的转换函数。

编译器为什么不这样做替换 Type？

在给定的示例中，编译器不会替换 Type，因为 smartref 中的转换运算符返回指向内部数据成员的指针。当尝试调用 think() 时，编译器推断 p 是指向 person 对象的指针，而不是对 person 对象的引用。因此，它不会进行任何显式类型替换。

以上是为什么编译器不替换转换运算符中的类型？的详细内容。更多信息请关注PHP中文网其他相关文章！