C ++，decltype和constness错误

Question

我不明白为什么以下代码是错误的。

struct A{
    typedef std::vector<std::vector<int>> Base;

    // const auto& func(std::size_t e) const
    auto func(std::size_t e) const -> decltype(std::declval<Base>()[e])
    {
            return base[e];
    }

    Base base;
};

我在gcc 4.8.1中遇到了以上代码段的编译错误。 （错误：对类型'__gnu_cxx :: __ alloc_traits>> :: value_type＆{aka std :: vector＆}'的引用的无效初始化，从类型'const value_type {aka const std :: vector}'的表达式返回base [e];）

请注意，如果我删除const限定词，则可以正常工作。

但是，如果我用注释的注释替换函数签名的一部分（以使用C ++ 14中引入的自动类型推导）。 没有错误产生。 因此，我猜decltype部分是错误的。

Answer 1

由于Base是非常量类型，因此std::declval<Base>()[e]引用std::vector的operator[]的非常std::vector 。 该版本的[]返回类型为std::vector<int> &的非常量引用。 因此，函数的返回类型声明为decltype(std::declval<Base>()[e]) ，即std::vector<int> & 。

同时，您的成员函数func被声明为const 。 这意味着成员base在该成员函数中将具有const Base类型。 反过来，这意味着将operator []应用于base将引用operator [] const版本。 该版本的[]返回const vector<int> & type的结果。

因此，您的return语句尝试将const vector<int> &值隐式转换为vector<int> &值。 此转换无效。 它违反了const-correctness规则。

按照@catscradle的建议在返回类型中添加const 。 或者从方法声明中删除const

auto func(std::size_t e) -> decltype(std::declval<Base>()[e])

这个或那个。

Answer 2

这有效：

auto func(std::size_t e) const -> decltype(std::declval<const Base>()[e])