c++ - 输入、输出、输入/输出参数

Question

我有一个测试即将进行，我想澄清两个有关参数的问题。

在我的笔记中指出，将参数传递给函数的推荐方法是使用“按引用传递”

    const type& x; // for "in" parameters
    type& x; // for "out"(to read) and "in/out"(to read/write) parameters

它还说明了可选优化，我们可以按值传递“in”参数，也可以按引用传递 out 变量，而不是简单的返回。

关于评论问题，我试图回答它的状态

Assume that all types are “moderate” size: Do not use the small-value optimization or the big-value optimization.

对“中等大小”的引用是否意味着我将对“输入”和“输入/输出”参数使用引用传递以及对“输出”值使用基本返回？

此外，还有一个问题要求创建一个具有以下内容的原型(prototype)函数(无主体):

IN : string a, C b
OUT : double d
IN/OUT : string d

    double foo (const string& a, const C& b, string& d)

是我现在拥有的，但我不确定如何处理 OUT 和 IN/OUT，因为它们的名称相同。我是否正确地假设可以将对字符串的引用传递到函数中，并且使用像 stod() 这样的函数来生成 double 类型的返回值，它可以存储在像

这样的调用函数中

    double val = foo(x,y,z)

Answer 1

我不会涉及不可变类型或任何其他较低级别的语言语义，因为您仍在学习传递值的基础知识，所以我会尽可能直接地回答您的问题并留给您提问与您的讲师联系以获取有关这些主题的更多信息(同时希望不会让您在测试时感到困惑)。

Would the reference to "moderate size" mean I would use a pass by reference for "in" and "in/out" parameters as well as using basic return for "out" values?

根据您现在正在学习的上下文，我会说不它所指的大小是sizeof(X)，其中X 是您传入/传出的类型。因此，在 int 的实例中，执行按值传递或按引用传递对内存或 CPU 时间没有实际的额外成本，但如果我有如下内容:

struct SomeLargeStruct {
    char SomeChars[1000];
    int SomeInts[1000];
    double SomeDoubles[1000];
};

sizeof(SomeLargeStruct) 会相当大，如果我们按值传递(因为会发生复制)，会导致大量构造时间，示例:

void incurACopy(SomeLargeStruct s) { /* do something with s */ }
void giveMeDirect(SomeLargeStruct& s) { /* do something with s */ }

SomeLargeStruct c;
incurACopy(c); // a copy of c is made, lots of data being passed
giveMeDirect(c); // the location of c is passed on the stack, no copy made

所以对于“in”类型，你给 const type& 来向代码的用户声明传入的值必须是一个有效的引用(即它不能为空)并且因为它是const 限定，我们可以放心，引用我们类型的代码不会/不能修改数据，也就是说，它是只读的。

“out”类型是type&，因为这表示传入的值可以被函数修改。如果 type 是一个大的(即 sizeof)类型并且返回类型中包含任何临时对象，则这样做与返回相比成本可能更低，否则可能没有差别很大(您必须检查低级组件才能确定)。

至于“in/out”类型，你可以再次使用 type& 来表示值可以被修改，虽然我曾见过“in/out” "类型通常被称为“可选”类型，也就是说，“输入/输出”类型可以是一个可选参数，如果没有传入则具有默认值，否则传入的值会产生影响，因此 可以修改。

“out”和“in/out”类型的 could 修饰符在那里，因为它将留给函数的实现者来记录值可能改变的事实，在其他情况下换言之，他们可能只是忘记将 const 放在 type& 前面。

鉴于此，根据你关于原型(prototype)的其他问题，我敢打赌 OUT : double d 和 IN/OUT : string d 是一个打字错误，否则，您总是可以只编写 2 个函数原型(prototype):

double foo (const string& a, const C& b, string& d);
double d = foo(x, y, z); // double d ??

和/或

void foo(const string& a, const C& b, double& d, string& s)
{
    cout << "IN/OUT string d maybe string s?" << endl;
}

但为了安全起见，您可能应该与您的导师仔细核实(毕竟，您可能不是唯一一个为可能出现的拼写错误而苦苦挣扎的人)。

希望对您有所帮助，祝您考试顺利。