使用 decltype 返回迭代器答案

【问题标题】：Using decltype to return iterator使用 decltype 返回迭代器
【发布时间】：2016-01-05 18:04:05
【问题描述】：

我有这门课：

template <typename T>
class Hybrid
{
public:
    Hybrid() : m_activeStackSize(0) {}

private:
    std::list<T> data;

    size_t m_activeStackSize;

    auto internal_peek() -> decltype(data)::iterator
    {
        if (m_activeStackSize) // peek from stack
        {
            decltype(data)::iterator itr = data.end();
            std::advance(itr, -1);
            return itr;
        }
        else //peek from queue
        {
            decltype(data)::iterator itr = data.begin();
            return itr;
        }
    }
};

当尝试在 Microsoft Visual Studio 2015 上编译时，我得到：

main.cpp(12)：错误 C3646：“迭代器”：未知覆盖说明符

我不明白为什么它不允许我返回 std::list<T> 类型的 iterator 而正文代码：

decltype(data)::iterator itr = data.end();

和

decltype(data)::iterator itr = data.begin();

编译成功。

如何显式使用decltype 成功返回std::list iterator？

删除-> decltype(data)::iterator 确实编译成功。

编辑： 使用 GCC 编译并为每个 decltype compiles fine 添加 typename，MSVC 仍然出错。

【问题讨论】：

还有typename ?
我觉得我不得不添加这个强制性评论：你这样做只是为了好玩，看看 decltype 是如何工作的？因为在实际代码中，你应该只在这种情况下使用 auto，auto itr = data.end();，然后如果你以后确实需要该类型，你可以使用 decltype(itr)，这很少见（并且不适用于此代码）。
@NirFriendman 这确实只是为了好玩。我也可以删除函数头中的显式类型返回，但这个错误没有意义，因为我问它是否只是一个错误或我的代码。
那个该死的 MSVC... :)
thisdecltype 的用法似乎在 MSVC 中编译

标签： c++ c++14 decltype

【解决方案1】：

decltype(data)::iterator 是依赖类型。因此，您必须使用typename。

auto internal_peek() -> typename decltype(data)::iterator
                       //  ^^^^^ here
{
    if (m_activeStackSize) // peek from stack
    {
        typename decltype(data)::iterator itr = data.end();
        // ^^^^^ and here
        std::advance(itr, -1);
        return itr;
    }
    else //peek from queue
    {
        typename decltype(data)::iterator itr = data.begin();
        // ^^^^^ and here
        return itr;
    }
}

MSVC 的可能解决方法。

// Declare iterator as a type.
using iterator = typename std::list<T>::iterator;

iterator internal_peek()
{
    if (m_activeStackSize) // peek from stack
    {
        iterator itr = data.end();
        std::advance(itr, -1);
        return itr;
    }
    else //peek from queue
    {
        iterator itr = data.begin();
        return itr;
    }
}

【讨论】：

编辑了我的问题。 GCC 接受它，MSVC 仍然没有相同的错误消息。
@JameyD，您正在使用带有 C++14 的 gcc。使用typename 的需求可能已经演变。 C++11 需要它。
我的意思是 with typename GCC 接受它，没有它它不会（C++14）。然而，即使 with typename，MSVC 仍然不接受它。
@JameyD，MSVC 似乎落后了。我希望你能找到合适的工作。
@JameyD，你想从这个可怜的东西身上得到什么？ (MSVC)

【解决方案2】：

在 C++14 中，您根本不需要 decltype()。以下是每个 C++14 正确的（据我所知，MSVC 并不完全支持 C++14）：

   auto internal_peek()
    {
        if (m_activeStackSize) // peek from stack
        {
            auto itr = data.end();
            std::advance(itr, -1);
            return itr;
        }
        else //peek from queue
        {
            auto itr = data.begin();
            return itr;
        }
    }

【讨论】：

嗯，正如我在问题中所说的那样编译。我只是想知道是否有办法通过显式键入来做到这一点。
@JameyD，哦，我没看到。请问你为什么要它？
正如我对 Nir 所说的，它不是任何“真实”代码。我只是在测试decltype，然后遇到了这个奇怪的错误。不过，这似乎只是 MSVC 中的一个错误。所以我只想滥用 MSVC，真的。