1

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

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...); }
};

它可以编译。

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

4

1 回答 1

1

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

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

于 2016-12-25T19:02:52.873 回答