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

Question

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

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

    return 0;
}

编译器给出错误:

error: invalid initialization of reference of type 'const float*&' from expression of type '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;
}