如何将函数参数标记为输出

Question

C# 允许将函数参数标记为仅输出：

void func(out int i)
{
    i = 44;
}

是否可以在 C/C++ 中做类似的事情？这可以改进优化。此外，当变量未初始化然后作为输出参数传递给函数时，应该消除警告“错误：'myVar'可能在此函数中未初始化使用”。

我使用 gcc/g++（目前是 4.4.7）来编译我的代码。

编辑：我知道指针和引用，这不是我要找的。我需要这样的东西：

void func(int* __attribute__((out)) i)
{
    *i = 44;
}

void func2()
{
    int myVal; // gcc will print warning: 'myVar' may be used uninitialized in this function
    func(&myVal);
    //...
}

编辑 2： 需要一些额外的代码来重现警告“'myVar' may be used in uninitialized in this function”。此外，您必须将 -Wall -O1 传递给 gcc。

void __attribute__((const)) func(int* i)
{
    *i = 44;
}

int func2()
{
    int myVal; // warning here
    func(&myVal);
    return myVal;
}

Answer 1

“是否可以在 C/C++ 中做类似的事情？”

不是真的。标准 c++ 或 c 不支持仅输出参数之类的东西。

在 c++ 中，您可以使用引用参数来获取输入/输出语义：

void func(int& i) {
          // ^
    i = 44;
}

对于 c 你需要一个指针来做同样的事情：

void func(int* i) {
          // ^ 
    *i = 44;
 // ^
}

---

请注意，out 和 in&out 参数之间没有区别，除非您使用 const 引用（这意味着仅输入）：

void func(const int& i) {
       // ^^^^^
    i = 44;
}

Answer 2

当您想在 C++ 中将 arg 作为输出传递时，您将其作为引用传递：

 void func(int &i)
{
    i = 44;
}

并且您必须在对其进行任何操作之前对其进行初始化。

注意： 您可以指定何时希望 arg 只是带有 const ref 的 input ：

 void func(const int &i)
{
    i = 44;
}