sollte :: std :: remove_cv <> auf Funktionstypen arbeiten?

Question

Ich versuche, die Rückgabe- und Argumenttypen einer Elementfunktion zu extrahieren, ohne mit const und volatile Überlastungen kümmern zu müssen, aber es scheint mir, dass ::std::remove_cv<> nicht mit Funktionstypen arbeiten:

template <typename> 
struct signature 
{ 
}; 

template <typename R, typename ...A> 
struct signature<R(A...)> 
{ 
}; 

template <typename C, typename F> 
constexpr auto extract_function_type(F C::* const) noexcept 
{ 
    return signature<::std::remove_cv_t<F>>(); 
} 

template <typename F> 
constexpr auto extract_signature(F const&) noexcept -> 
    decltype(&F::operator(), extract_function_type(&F::operator())) 
{ 
    return extract_function_type(&F::operator()); 
} 

Answer 1

Es ist so etwas wie ein const Funktionsart nO:

[dcl.fct]/6:

die Wirkung eines CV-Qualifier-seq in einer Funktion als declarator ADDI nicht die gleiche ng cv-qualification on top des Funktionstyps. 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. -Ende note]

Sie haben Ihre eigene Art Eigenschaft schreiben:

template<typename T> 
struct remove_cv_seq; 

template<typename R, typename... Args> 
struct remove_cv_seq<R (Args...) const> { 
    using type = R (Args...); 
}; 

template<typename R, typename... Args> 
struct remove_cv_seq<R (Args...)> { 
    using type = R (Args...); 
}; 

struct Foo { 
    remove_cv_seq<void() const>::type bar; 
}; 

int main() 
{ 
    Foo const x; 
    x.bar(); // This will fail to compile because it tries to call non-const member function. 
}