通过 const 值返回并分配给非 const 变量编译

Question

我不明白为什么下面的代码允许使用非 const 版本的 foo。我想禁止 const Array 变量提供非 const ArrayView。

#include <iostream>

struct ArrayView
{
    ArrayView() = default;
    ArrayView(const ArrayView&) = delete;
    ArrayView(ArrayView&&) = delete;

    void foo() {std::cout << "non const" << std::endl;}
    void foo() const {std::cout << "const" << std::endl;}
};

struct Array
{
    const ArrayView createView() const
    {
        return {};
    }
};

int main()
{
    const Array arr{};
    auto view = arr.createView();
    view.foo();

    return 0;
}

输出：

non const

我在 Windows 10 上安装了 gcc 10.1.0。

Answer 1

auto的类型推导规则与模板参数推导相同； view 被声明为非引用，createView 的返回值的 const 部分被忽略。结果view 的类型是ArrayView，而不是const ArrayView。

另一方面，如果您直接在返回值上调用foo，则会选择const 版本。例如

arr.createView().foo();

作为解决方法，您可以将view 明确声明为const，

const auto view = arr.createView();

或者声明view作为参考。

auto& view = arr.createView(); // the type of view is const ArrayView&

---

PS：我注意到您将ArrayView 的复制/移动构造函数都标记为delete。由于auto view = arr.createView(); 中的C++17，它们将因为mandatory copy elision 而被完全省略，它们在这里是否可用并不重要。