类模板中成员变量的顺序

Question

我已经定义了一个类模板和一个函数，

template <typename F> class Base {
    public:
        Base(F ff): f(ff) {}
        template <typename... Ps> auto operator() (Ps... ps) const -> decltype(f(ps...)) { return f(ps...); }
    private:
        // f is a pointer to function
        F* f;   
};

int f(int i, int j) 
{
    return i + j;
}

int main()
{
    using f_type = remove_reference<decltype(f)>::type;
    Base<f_type> b{f};
    b(2, 5); // [Error] no match for call to '(Base<int(int, int)>) (int, int)'
}

报告了标记错误。但是当我改变成员变量的顺序时 class Base，点赞：

template <typename F> class Base {
    private:
        // f is a pointer to function
        F* f;   
    public:
        Base(F ff): f(ff) {}
        template <typename... Ps> auto operator() (Ps... ps) const -> decltype(f(ps...)) { return f(ps...); }
};

可以编译。

这两种不同结果的原因是什么？ 感谢您的宝贵时间！

Answer 1

C++ 中的声明是按照它们在源代码中出现的顺序引入的。不同之处的显着例外是成员函数的主体：当在类声明中定义成员函数时，定义（而不是其声明）的行为就像函数是在类之后立即定义的一样定义。

由于关于成员定义位置的规则不适用于声明在成员函数声明中使用的名称需要声明在此刻。更改成员的位置提供了必要的声明。