Question

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

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

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

我想知道，如果有一个值要在函数中留下未命名的参数，因为它们不能在函数中引用它们。

为什么这个合法开始？

Answer 1

是的，这是合法的。这对于不打算使用相应参数的实现中的基类实现虚拟：您必须声明参数以匹配基类中虚函数的签名，但您不打算使用它，所以你没有指定名称。

另一个常见的情况是，当您向某个库提供回调时，您必须符合该库已建立的签名（感谢Aasmund Eldhuset启用此功能）。

defining your own post-increment and post-decrement operators还有一个特殊情况：它们必须具有int参数的签名，但该参数始终未使用。不过，这个约定接近于语言设计的黑客攻击。

Answer 2

当然，在声明函数时，不命名参数是合法的，但它在实现中也是合法的。当函数需要声明参数具有特定的固定签名时，这个最后一个看似奇怪的版本很有用，但不需要参数。

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

不为参数指定名称，这表明不需要参数，也不会使用其值。一些编译器，如果您改为命名参数然后只是不使用它将发出一个警告，可能是函数体有问题。

Answer 3

只是想提到一个特定的（不寻常但有趣的）用例-“密码成语”。

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

它是这样使用的：

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

Answer 4

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

此示例生成以下输出：

在g（const MemoryBlock＆amp;）中在g（MemoryBlock＆amp;＆amp;）中。

在此示例中，main函数将rvalue传递给f。 f的主体将其命名参数视为左值。从g到g的调用将参数绑定到左值引用（for (int i = 0; i<words.size(); ++i) if(i == 0 || words[i-1] != words[i]) cout << words[i] << '\n';的第一个重载版本）。

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

4 个答案: