为什么C++允许未命名的函数参数？

Question

以下是完全合法的C++代码

void foo (int) {
    cout << "Yo!" << endl;
}

int main (int argc, char const *argv[]) {
    foo(5); 
    return 0;
}

我想知道，在函数中有未命名参数是否有价值，考虑到它们无法从函数内部引用。

为什么这是合法的呢？

- James Raitsev

---

我曾经看到它实际上只用于原型; 我看到一些函数原型和类定义省略了参数名称，以简洁或其他原因。我不确定为什么这是合法的。 - Wug

一个标准的使用情况在标签派发中。 - Edvard Fagerholm

我在我的一个设计中使用了虚拟参数，其中我有一个对象，它具有两组相同类型的成员。构造函数通常只初始化一组成员。我的工厂方法知道要初始化哪个集合。为了区分这两个不同的集合，我使用了第二个集合的虚拟布尔参数。例如：class Twosets { private: int leftA; char leftB; int rightA; char rightB; public: Twosets(int a, char b); Twosets(int a, charb, bool); 后者将用于构建右侧成员。 - Kemin Zhou

Answer 1

是的，这是合法的。这对于在不打算使用相应参数的实现中从基类实现虚拟功能的实现非常有用：您必须声明参数以匹配基类中虚拟函数的签名，但您不打算使用它，因此不指定名称。

另一个常见情况是当您为某个库提供回调时，您必须符合库已经确立的签名（感谢Aasmund Eldhuset提出此问题）。

还有一种特殊情况，用于定义自己的后缀递增和后缀递减运算符：它们必须具有带有int参数的签名，但该参数始终未使用。尽管这种习惯已接近语言设计上的hack（译注：一般翻译为“小技巧”），但仍然有效。

- Sergey Kalinichenko

---

...或者对于作为回调函数使用的常规函数（因此必须符合给定的签名），但不需要使用参数。 - Aasmund Eldhuset

未使用的参数也可以用于函数重载吗？ - Lily Ballard

或许可以这样说，预增量和后增量约定是这样使用的。我认为将未被使用的参数用于重载有点像是一种hack，因为重载是在编译时解析的，所以没有理由不使用不同的名称而添加未使用的参数。 - Sergey Kalinichenko

@dasblinkenlight：关于后增量的观点很好，但是未命名参数的类型也可以使用。在STL中，这实际上被滥用为各种实现的模板参数。这种技巧主要适用于模板函数/类，因此您可以根据模板参数类型的特征更改调用哪个函数。 - Lily Ballard

值得一提的是，一些编译器可以警告未使用的参数：将它们命名为空名称将解决这个警告。 - Roddy

Answer 2

当仅声明函数时，不指定参数名称是合法的，但在实现中也是合法的。这种最后一种看似奇怪的方式在函数需要声明参数以具有特定固定签名，但又不需要该参数时非常有用。

例如，在派生类中的方法、回调函数中或模板参数中可能会发生这种情况。

不指定参数名称表明该参数并不需要，并且其值将不会被使用。如果您命名了一个参数，然后根本不使用它，一些编译器会发出警告，提示函数体可能存在问题。

- 6502

Answer 3

我想提到一个特定（不寻常但有趣）的用例 - “passkey习语”。

它使用一个仅对其朋友可访问构造函数的类型的“虚拟”参数。 它的目的只是检查调用者是否有权访问此构造函数。因此，它不需要名称，因为它在函数中未被使用，只有编译器使用它。

用法如下：

class Friendly; // Just a forward declaration

class Key {
private:
    Key() {}
    friend class Friendly;
};

class Safe() {
public:
    static int locked(Key, int i) {
        // Do something with `i`,
        // but the key is never used.
        return i;
    }
private:
    static void inaccessible() {}
};

class Friendly {
public:
    void foo() {
        int i = Safe::locked(Key(), 1); // OK
        int j = Safe::locked({}, 2);    // OK, sice C++11
    }
    void bar() {
        Safe::inaccessible(); // Not OK, its inaccessible
    }
};

int i = Safe::locked(3);        // Not OK, wrong parameters
int j = Safe::locked(Key(), 4); // Not OK, `Key` constructor is inaccessible
int k = Safe::locked({}, 5);    // Not OK, `{}` means `Key()` implicitly

- egst

Answer 4

我只想补充一点，有时候你是否给参数命名会有所不同。例如，编译器将命名的右值引用视为左值，而未命名的右值引用则视为右值。

// named-reference.cpp  
// Compile with: /EHsc  
#include <iostream>  
using namespace std;

// A class that contains a memory resource.  
class MemoryBlock  
{  
   // TODO: Add resources for the class here.  
};

void g(const MemoryBlock&)   
{  
   cout << "In g(const MemoryBlock&)." << endl;  
}

void g(MemoryBlock&&)   
{  
   cout << "In g(MemoryBlock&&)." << endl;  
}

MemoryBlock&& f(MemoryBlock&& block)  
{  
   g(block);  
   return block;  
}  

int main()  
{  
   g(f(MemoryBlock()));  
}  

这个例子会产生下面的输出：

在 g(const MemoryBlock&) 中。
在 g(MemoryBlock&&) 中。

在这个例子中，主函数将一个右值传递给了 f。函数 f 的函数体将其命名的参数视为左值。从 f 到 g 的调用将参数绑定到一个左值引用（即 g 的第一个重载版本）。

- Merry Fitzpatrick

---

这是合乎逻辑的，将名称设置为变量基本上意味着“我将在以下语句中使用它”，因此是左值。指定它是左值还是右值并不取决于它的起源，而是取决于语句后内存中的引用是否会持续存在。 - Imad Nabil Alnatsheh

这与问题无关。问题是关于未命名参数，即在接收函数一侧缺少标识符的参数。您谈论的是从调用方传递的值类别 - 顺便提到了未命名参数，但不是以相关方式。这里的任何差异都是由传递的值类别引起的，而不是参数是否有名称的存在或缺失。因为您没有将rvalue引用在第一个内部调用中转发/移动到g()，所以const＆重载必须获胜。您需要一个名称来转发它的事实完全是偶然的。 - underscore_d

这甚至不是有效的代码（return block;应该无法编译通过）。VTD与问题无关。 - M.M