为什么是`std::istreambuf_iterator<char> ` 在构造字符串时视为函数声明？

Question

许多编码人员可能会混淆这段代码：

int main() {
  std::ifstream ifs("filename", std::ios::binary);
  std::string content((std::istreambuf_iterator<char>(ifs)), std::istreambuf_iterator<char>());
  //                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
  ...
}

我想清楚地理解这段代码，所以问题是：

1. 为什么std::istreambuf_iterator<char>(ifs)包含在( , ) ？

2. 如果删除此处的括号，如何确定此代码？ 和

3. 如果不去掉括号，如何确定代码？

谢谢你的帮助。

Answer 1

在声明中，声明符可以括在括号中。

考虑以下函数声明

void f( int ( x ), int ( y ) );

该声明声明了一个带有两个 int 类型参数的函数。

在声明中可以省略标识符的名称。

所以你可以写

void f( int (), int () );

该声明又声明了一个函数，该函数接受函数类型int()两个参数。

所以这个构造

std::string content(std::istreambuf_iterator<char>(ifs), std::istreambuf_iterator<char>());

编译器可以将其视为具有返回类型 std::string 和类型为std::istreambuf_iterator<char>的第一个参数和标识符ifs和具有函数类型istreambuf_iterator<char>()的第二个参数的函数的istreambuf_iterator<char>() 。

为了区分声明和表达式，可以使用括号，例如

std::string content( ( std::istreambuf_iterator<char>(ifs) ), std::istreambuf_iterator<char>());

或大括号

std::string content(std::istreambuf_iterator<char>{ ifs }, std::istreambuf_iterator<char>());

这是一个演示程序，展示了如何在参数声明中查看声明符。

#include <iostream>

void f( int ( x ), int ( y ) )
{
    std::cout << "x = " << x << ", y = " << y << '\n';
}

void f( int(), int() );

void f( int g(), int h() )
{
    std::cout << g() + h() << '\n';
}    

int g() { return 100; }

int main()
{
    f( 10, 20 );    

    f( g, g );
}

程序输出是

x = 10, y = 20
200

至于出现在关于函数类型参数声明的评论中的问题，例如，C 函数qsort使用这样一个参数来说明数组的两个元素之间的关系。

void qsort(void *base, size_t nmemb, size_t size,
int compar(const void *, const void *));

另一个例子是使用函数类型作为类模板std::function的模板参数。