decltype（function_name）的返回类型完全没用？

Question

void foo(int a) {
    cout << "Hello" << a << '\n';
}

根据decltype的规则，decltype（foo）的类型应该是“void foo（int）”，但似乎我们无法对它做任何事情：

void (& f_ref)(int) = foo;
void (* f_ptr)(int) = foo;


cout<<is_same_v<decltype(foo), decltype(f_ref)><<endl; //return 0
cout<<is_same_v<decltype(foo), decltype(f_ptr)><<endl; //return 0
decltype(foo) df;
df = foo;    //error: assignment of function ‘void df(int)’
df = &foo;   //error: assignment of function ‘void df(int)’

decltype(foo) df{foo}; //error: function ‘void df(int)’ is initialized like a variable
decltype(foo) df{&foo}; //error: function ‘void df(int)’ is initialized like a variable

Answer 1

你的片段中的两个is_same_v被评估为0，因为，类型是不同的。

dectype(foo)是void (int)（不是void foo(int)，名称不是该类型的一部分）， 这与void (&)(int)（f_ref的类型）和void (*)(int)（f_ptr的类型）不同。

---

这一行：

decltype(foo) df{foo};

不编译只是因为语法不允许您在函数声明中使用初始化器。

即使没有decltype它也不起作用：

void df(int) {foo}; // error: expected ';' before '}' token

虽然你可以创建一个指向decltype(foo)的指针：

decltype(foo) *df{foo}; // Becomes `void (*df)(int) {foo};`

---

这些线：

df = foo;
df = &foo;

不编译，因为您无法分配给函数。即使df是void df(int);，它也行不通。

---

How can I use this type?

有无数的用途。例如。您可以使用它来创建如上所述的此函数的指针，或者它可以用作模板参数（对于std::function或其他）。

Answer 2

声明一个变量：

decltype(foo)* pf = foo;
pf(42);

使用std::function函数包装器：

std::function<decltype(foo)> f = foo;
f(42);

Answer 3

您可以使用它来声明与函数具有相同签名的功能对象：

using ffoo = ::std::function<decltype(foo)>;

Answer 4

decltype（function_name）的返回类型完全没用吗？

当然不。 Live example

void f1();
void f2(int);
void f3();

int main()
{
    std::cout << "f1 - f2 " << std::is_same<decltype(f1),decltype(f2)>::value << std::endl;
    std::cout << "f1 - f3 " << std::is_same<decltype(f1),decltype(f3)>::value << std::endl;
}

例如，这可以与std::enable_if一起使用。

Answer 5

在这个声明中

cout<<is_same_v<decltype(foo), decltype(f_ref)><<endl;

左模板参数是函数类型，而右模板参数是引用类型。要比较类型，您应该删除引用。

在这个声明中

cout<<is_same_v<decltype(foo), decltype(f_ptr)><<endl;

将函数类型与指向函数的指针进行比较。

因此，both语句返回0（false）。

这些陈述

df = foo; 
df = &foo;

没有意义。您可能无法分配功能。

而这些陈述

decltype(foo) df{foo}; 
decltype(foo) df{&foo};

也没有意义。

您可以在类中声明类型为decltype( foo )的函数，然后定义它。

这是一个示范计划。

#include <iostream>
#include <type_traits>

void foo( int a ) 
{
    std::cout << "Hello " << a << '\n';
}

struct A
{
    decltype(foo) df;
};

void A::df( int a )
{
    std::cout << "Bye " << a << '\n';
}

int main() 
{
    foo( 0 );
    A a;

    a.df( 1 );

    void (& f_ref)(int) = foo;
    void (* f_ptr)(int) = foo;

    std::cout << std::is_same<decltype(&foo), decltype( f_ptr )>() << std::endl;
    std::cout << std::is_same<decltype(foo), std::remove_reference_t<decltype( f_ref )>>() << std::endl;

    return 0;
}

它的输出是

Hello 0
Bye 1
1
1

在本声明中考虑到这一点

void (& f_ref)(int) = foo;

函数指示符foo被隐式转换为指向函数的指针。

Answer 6

这完全是应该的。如果你写了void(int) df;，那显然是错的。您正在尝试使用函数类型声明变量，这没有意义。这可能有意义的唯一上下文是声明一个函数对象：auto bar = std::function<decltype(foo)>;现在bar是一个对象，它引用一个类型为void(int)的函数（或类似函数的实例，如lambda）。