c++ - 通过引用传递 const 指针

Question

我很困惑为什么以下代码无法编译

int foo(const float* &a) {
    return 0;
}
int main() {
    float* a;
    foo(a);

    return 0;
}

编译器给出错误为：

错误：从“float*”类型的表达式中对“const float*&”类型的引用进行无效初始化

但是当我尝试在 foo 中不通过引用传递时，它编译得很好。

我认为无论我是否通过引用，它都应该表现出相同的行为。

谢谢，

Answer 1

因为它不是类型安全的。考虑：

const float f = 2.0;
int foo(const float* &a) {
    a = &f;
    return 0;
}
int main() {
    float* a;
    foo(a);
    *a = 7.0;

    return 0;
}

任何非const引用或指针必须在指向类型中保持不变，因为非const指针或引用支持读取（协变操作）和写入（逆变操作）。

const必须首先从最大间接级别添加。这会起作用：

int foo(float* const &a) {
    return 0;
}
int main() {
    float* a;
    foo(a);

    return 0;
}