以下是完全合法的C++
代码
void foo (int) {
cout << "Yo!" << endl;
}
int main (int argc, char const *argv[]) {
foo(5);
return 0;
}
我想知道,在函数中有未命名参数是否有价值,考虑到它们无法从函数内部引用。
为什么这是合法的呢?
以下是完全合法的C++
代码
void foo (int) {
cout << "Yo!" << endl;
}
int main (int argc, char const *argv[]) {
foo(5);
return 0;
}
我想知道,在函数中有未命名参数是否有价值,考虑到它们无法从函数内部引用。
为什么这是合法的呢?
是的,这是合法的。这对于在不打算使用相应参数的实现中从基类实现虚拟功能的实现非常有用:您必须声明参数以匹配基类中虚拟函数的签名,但您不打算使用它,因此不指定名称。
另一个常见情况是当您为某个库提供回调时,您必须符合库已经确立的签名(感谢Aasmund Eldhuset提出此问题)。
还有一种特殊情况,用于定义自己的后缀递增和后缀递减运算符:它们必须具有带有int参数的签名,但该参数始终未使用。尽管这种习惯已接近语言设计上的hack(译注:一般翻译为“小技巧”),但仍然有效。
当仅声明函数时,不指定参数名称是合法的,但在实现中也是合法的。这种最后一种看似奇怪的方式在函数需要声明参数以具有特定固定签名,但又不需要该参数时非常有用。
例如,在派生类中的方法、回调函数中或模板参数中可能会发生这种情况。
不指定参数名称表明该参数并不需要,并且其值将不会被使用。如果您命名了一个参数,然后根本不使用它,一些编译器会发出警告,提示函数体可能存在问题。
我想提到一个特定(不寻常但有趣)的用例 - “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
我只想补充一点,有时候你是否给参数命名会有所不同。例如,编译器将命名的右值引用视为左值,而未命名的右值引用则视为右值。
// 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
的第一个重载版本)。
g()
,所以const&
重载必须获胜。您需要一个名称来转发它的事实完全是偶然的。 - underscore_dreturn block;
应该无法编译通过)。VTD与问题无关。 - M.M