foo_2
и foo_3
являются ссылками на функцию (причём const
для foo_2
проигнорирован и эти типы вообще полностью идентичны). В то время как foo_1
тип - функция (не указатель на функцию). Поэтому и получается такой результат в std::is_same_v
. Несколько примеров:
#include <iostream>
void f() {}
int main()
{
using F = decltype(f); // тип функции
using FR = void(&)(); // тип ссылки на функцию
using FP = void(*)(); // тип указателя на функцию (using форма)
typedef void (*FP2)(); // тип указателя на функцию (typedef форма)
std::cout << std::boolalpha;
std::cout << std::is_same_v<F, void()> << "\n"; // true (F - функция)
std::cout << std::is_same_v<F, FR> << "\n"; // false (F - не ссылка на функцию)
std::cout << std::is_same_v<F, FP> << "\n"; // false (F - не указатель на функцию)
std::cout << std::is_same_v<FP, FP2> << "\n"; // true (FP и FP2 одно и то же, заданное разными способами)
std::cout << std::is_same_v<F&, FR> << "\n"; // true (F& - ссылка на функцию)
std::cout << std::is_same_v<const FR, FR> << "\n"; // true (const не влияет на тип ссылки на функцию)
std::cout << std::is_same_v<const F, F> << "\n"; // true (const не влияет на тип функции)
std::cout << std::is_same_v<const FP, FP> << "\n"; // false (const влияет на тип указателя на функцию)
}
При этом typeid(/* */).name()
даёт одинаковые результаты потому, что для ссылок и значений он работает единообразно, можете попробовать например typeid(int&).name()
и typeid(int).name()
. А учитывая неявные преобразования между типом функции и типом указателя на функцию одинаковость результата здесь тоже не вызывает особых вопросов.