クラステンプレート

Question

でメンバ変数の順序Iは、標識されたエラーが報告された

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)' 
} 

、クラステンプレートと機能を定義しました。それはコンパイルでき

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

：ようしかし、ときに私は、 class Baseのメンバ変数の順序を変更しました。

これらの2つの異なる結果の理由は何ですか？ ありがとうございました！

Answer 1

宣言は、ソースで見られる順にC++で導入されています。要素の機能がクラス宣言内で定義されている場合、その定義は（クラス宣言ではなく）クラス定義の直後に定義されているかのように動作します。 メンバ関数宣言に使用宣言名には適用されない部材定義の位置に関する規則ので

この時点で宣言される必要があります。メンバーの場所を変更すると、必要な宣言が行われます。