Why doesn't remove_reference work on functions?
Welcome to the world of Abominable Function Types.
void() &
is not a reference to void()
. The way to spell that would be void(&)()
(which if you remove_reference_t
, you would get back void()
-- that is remove_reference_t
does work on references to functions, if what you provide it is actually a reference to function type).
What void() &
actually refers to is the type of a reference-qualified member function after you strip off the class. That is:
struct C {
void f() &;
};
The type of &C::f
is void (C::*)() &
. But all pointers to members can be written as T C::*
for some type T
, and in this case the type T
would be void() &
.
See also P0172.
The type you have is not a reference to a function, but a function with a reference qualifier.
static_assert(std::is_same_v<void()&, void()&>);
static_assert(!std::is_same_v<void()&, void(&)()>);
static_assert(std::is_same_v<void(&)(), void(&)()>);
static_assert(std::is_same_v<void(), std::remove_reference_t<void(&)()>>);