函数返回类型说明符中的变量声明 c++type

Question

我在试用 codefights.com 并注意到有人回答了一个问题，该问题涉及在向量中给出所有最长的字符串：

std::vector<std::string> r, allLongestStrings(std::vector<std::string> a) {
    int b=0;
    for (s:a) if (s.size()>b) b=s.size();
    for (s:a) if (s.size()==b) r.push_back(s);
    return r;
}

他在函数的返回类型说明符中声明了一个变量，谁能告诉我为什么允许这样做？我没有在我的机器上编译，也找不到执行此操作的 gcc 扩展，在此先感谢:)。

Answer 1

查看reference (decl-specifier-seq)，我看不出如何在函数名之前声明返回变量。

使用 C++14，您可以使用 auto 关键字来删除重复提及的返回类型：

auto allLongestStrings( const std::vector<std::string>& a ) {
    std::vector<std::string> r;
    std::size_t b = 0;
    for( const auto& s : a ) if( s.size() > b ) b = s.size();
    for( const auto& s : a ) if( s.size() == b ) r.push_back( s );
    return r;
}

我修复了代码的其他一些东西：

• 为了提高效率，将参数a声明为const引用，这样就不会被复制了
• 将b 声明为std::size_t 以匹配std::vector::size() 的返回类型
• 在range-for循环中，需要一个类型说明符（即使是auto）；添加 const 参考以提高效率

Live demo.

Answer 2

混合变量/函数声明似乎没问题，尽管 gcc 抱怨函数定义不应该存在，但我认为在全局范围内没问题。但如果没有给出函数定义，即使在非全局范围内，它也是 100% 有效的语法。此声明只是对相同前导类型的几个项目的常规声明。例如，我们可以声明多个不同类型但具有相同前导的项目，如下所示：

// single line declaration
int i = 0, * p_i = nullptr, ai[2] = {42,42}, geti(void), * * getppi(void);
// the same as
int i = 0;
int * p_i = nullptr;
int ai[2] = {42, 42};
int geti(void);
int ** getppi(void);

所以r 只是std::vector<std::string> 类型的常规变量，后跟返回相同std::vector 类型的函数allLongestStrings。

这种紧凑的申报表存在历史原因。基本上它有助于节省相当多的字节来存储和编译源文件。

for 循环的这种形式可能是在当前形式标准化之前的早期实验性扩展。