为什么此类型别名中的 const 限定符被删除？ [复制]

Question

TL;DR

给定以下类型：

struct A
{
    std::vector<std::string> vec;

    using reference = std::iterator_traits<decltype(vec)::iterator>::reference;
    using const_reference = const reference;
};

为什么是reference == const_reference？为什么const 限定符被丢弃在第二类别名中？

请参阅 godbold 上不应编译的示例。

详情

我有一个模板类，它接受一堆迭代器（-types）作为模板参数。从这些迭代器中，我需要推断出引用和 const 引用类型，因为我有一些成员函数，例如：

struct A
{
    std::vector<std::string> vec;

    using reference = std::iterator_traits<decltype(vec)::iterator>::reference;
    using const_reference = const reference;

    const_reference foo() const
    {
        return vec[0];
    }
};

通过删除 const 限定符，我有效地返回了 foo 中的引用，这是非法的，因为它是一个 const 成员函数，因此编译器会抛出异常。

Answer 1

它被丢弃了。我们所说的“const 引用”实际上是对 const 的引用 - const int&。

拥有int& 并添加const 将使int& const。但是这样的 const 被删除了。

您的问题类似于const int* 和int* const 之间的区别。除了引用之外，int& 和 int& const 是同一类型 - const 被忽略。

Answer 2

你的问题是west const。 West const is bad const 东 const 是最好的 const。

West const 将 const 放在要成为 const 的标记的左侧。 East const 将其放在右侧。

如果我告诉你永远不要把 const 放在你的类型的左边，并且那个 const 总是适用于 its 左边的东西，看看这个：

using const_reference = reference const;

您可能会弄清楚为什么const 不起作用。天真地扩展参考后，您会得到string&const——在这里，您尝试将const 应用于& 而不是string，并且foo &const 与foo const& 不同——foo&const 只是foo& as const 不能应用于引用本身，而只能应用于所引用的类型。

当然，你说，但这就是我想要 west const 的原因！

West const 在这里做同样的事情。它适用于& 而不是string，然后被丢弃。它只是以一种更令人困惑且更难以直观掌握的方式这样做。

要理解 const，请将您的 const 转换为east const。 West const 只是标准 east const 规则的一个例外，如果左侧的类型中没有标记，则它适用于右侧的标记。这里右边的标记是整个类型string& 捆绑到一个类型别名中（类型别名不是宏）。相反，如果您键入 const string&，则右侧的标记将是 string，您将得到 string const& 理智的东部常量风格。

East const 是最好的 const。