C语言double_trouble与trouble函数形参输入输出类型分类及结果核验

先明确参数分类的通用判定规则：

• 输入（input）参数：函数仅读取参数的值/参数指向的内存值，不会做修改
• 输出（output）参数：函数仅向参数指向的内存写入值，不会读取其原有值
• 输入输出（input-output）参数：函数对参数指向的内存既有读取原有值的操作，也有写入操作

1. double_trouble 函数形参分类 #

• int *p：output参数，判定依据：函数内部未读取*p的原有值，仅执行*p = 2 * x - y的写入操作，仅用来向调用方返回计算结果。你原有对该参数的分类错误，该参数没有用到调用方传入的初始值，不属于input-output。
• int y：input参数，判定依据：函数仅读取y的值参与计算，未做任何修改，你原有的该条分类正确。

2. trouble 函数形参分类 #

• int *x：input-output参数，判定依据：第一次调用double_trouble(x, 7)时会向*x写入值，第二次调用double_trouble(y, *x)时会读取*x的已写入值作为入参，对指向内存既有写入也有读取操作。你原有对该参数的分类错误。
• int *y：output参数，判定依据：仅在调用double_trouble(y, *x)时向*y写入值，全程未读取*y的初始值。你原有对该参数的分类错误。

附程序运行结果验证：执行后输出为x = 13, y = 7，和上述参数行为完全匹配。

内容的提问来源于stack exchange，提问作者Suraj8363