c++ - 模板内本地类成员的名称查找

Question

考虑以下代码，它模拟 constexpr lambda(建议用于 C++17，在 C++14 中不可用)。

#include <iostream>

template<int M, class Pred>
constexpr auto fun(Pred pred)
{
    return pred(1) <= M;
}

template<int M>
struct C
{
        template<int N>
        static constexpr auto pred(int x) noexcept
        {
            // simulate a constexpr lambda (not allowed in C++14)
            struct lambda
            {
                    int n_, x_;

                    constexpr auto operator()(int y) const noexcept
                    {
                            return this->n_ * this->x_ + y;
                            //     ^^^^       ^^^^ <---- here
                    }
            };

            return fun<M>(lambda{N, x});
        }
};

int main()
{
    constexpr auto res = C<7>::template pred<2>(3);
    std::cout << res; // prints 1, since 2 * 3 + 1 <= 7;
}

这里，lambda 是在类模板的函数模板成员中定义的。令人惊讶的是，我必须this->混淆lambda 成员变量n_ 和x_。

实例(with this->，without this->)

我的印象是这只在依赖基类中是必需的，但 lambda 类只是一个本地类，而不是依赖基类。

问题:有人可以指点我相关的标准语以查找模板内本地类成员的名称吗？

Answer 1

感谢@dyp 的评论，这似乎是 Clang 3.5/3.6 中的一个错误 is fixed in Clang 3.7树干的尖端。 G++ 4.8.1 通过主干提示也可以正确编译它。