无法将非常量 T* 传递给接受 const T* 引用的函数

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

引用或指针在指向类型中都必须是invariant，因为非

const

指针或引用支持读取（协变操作）和写入（逆变操作）。

const

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

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

    return 0;
}