C++：一般情况下，设计函数的形参只需要两种形式。一，是引用形参，例如 void function (int &p_para)；二，是常量引用形参，例如 void function(const int &p_para)。

它们的特点如下：

# 引用形参适用于需要改变变量数据的情况，常量引用形参适用于不需要改变对象、变量数据的情况。

# 引用形参需要对象、变量来传递值，常量引用形参则不需要，可以直接传递表达式或者函数返回值。

通过这两种方式可以涵盖所有可能需要的设计情况，而通过这种方式实现的函数设计，*可以避免通过值传递的形式造成的额外复制值的操作。*

即使是出现了突破这两种方式涵盖的需求的情况（我暂时没有想到），也只需要手动创建一个相同的变量再复制值然后传递来满足。

扩展：未来编程语言的设计选择

我希望在未来的编程语言中的函数设计的默认形式应该是类似 function(type pName)，它的本质应该是常量引用传递，这样就可以接受类似表达式、函数返回值的情况；还有一种形式应该是类似 function(tag type pName)，它的本质应该是引用传递，要求调用者传递对象或变量来实现可改变的值的获取。这么做就是*为了避免通过值传递的形式造成的额外复制值的操作。*

类似的情况在 C# 中可以看见，它的 tag 有 ref 和 out，后者相对前者约定不需要初始化值也不会获取该参数的值。但我认为这种分类没有很大的必要，是因为基于变量本身的设计，没有必要再通过其他的操作去限定获取地址的引用是否不能读取它的值。而是否应该读取参数的值，应该由函数名和参数名甚至是注解来表明意图，否则单纯依靠 ref 这样的标志仍然无法使调用者明白应该传入什么值，这样就可以避免编程语言通过额外的操作来限定、分类。