のconstメンバ関数とのtypedef、C++

Question

たちはtypedef経由constメンバ関数を宣言したいと仮定します。

typedef int FC() const; 
typedef int F(); 

struct A 
{ 
    FC fc;   // fine, we have 'int fc() const' 
    const F fc; // not fine, 'const' is ignored, so we have 'int fc()' 
}; 

constので、プログラムが正常にコンパイル無視されます。機能のためになぜconstが無視されるのですか？このようにしてconstポインタを形成できるので、私が考えることができるのは「Cの遺産」だけです。スタンダードはそれについて何か言いますか？

Answer 1

C++ 14スタンダード[dcl.fct]pt。 7：

関数宣言におけるCV-修飾子-配列の効果は、関数型の上部 にCV-資格を追加すると同じではありません。後者の場合、cv修飾子は無視されます。 [注意： のcv-qualifier-seqを持つ関数型は、cv修飾型ではありません。 cv修飾された関数型はありません。 - エンドノート]

例：

typedef void F(); 

struct S { 
    const F f; // OK: equivalent to: void f(); 
}; 

ので、これは正しい動作です。

Answer 2

この変更はCWG 295によって行われました。本質的なプログラミングを容易にするためです。考えてみましょう：

template<class F> 
void meow(const F& f) { f(); } 
void purr(); 

meow(purr); 

仕事にこれを可能にする追加のconstを無視します。