Konst Memberfunktion und typedef, C++

Question

Angenommen, wir konstante Elementfunktion über typedef erklären möchten:

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

Da const ignoriert das Programm kompiliert in Ordnung. Warum wird const für die Funktion ignoriert? Da wir Const Pointer auf diese Weise bilden können, ist das einzige, was ich mir vorstellen kann, "C-Erbe". Sagt der Standard etwas darüber?

Answer 1

C++ 14 Standard, [dcl.fct] pt. 7:

Die Wirkung eines CV-Qualifier-seq in Abhängigkeit declarator ist nicht die gleiche cv-Qualifikation auf des Funktionstypen als Zugabe. Im letzteren Fall werden die cv-Qualifikationsmerkmale ignoriert. [Hinweis: Ein Funktionstyp mit einem cv-qualifier-seq ist kein cv-qualifizierter Typ; Es gibt keine cv-qualifizierten Funktionstypen. - Endnote]

Beispiel:

typedef void F(); 

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

Also, das ist ein richtiges Verhalten.

Answer 2

Diese Änderung wird durch CWG 295 vorgenommen, um die generische Programmierung zu vereinfachen. Bedenken Sie:

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

meow(purr); 

Ignorieren der zusätzlichen const ermöglicht dies funktioniert.