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通过trunk的提示也可以正确编译。

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

1 个答案: