方法到底什么时候会产生副作用？

Question

正如我一直理解的那样，对程序状态的任何更改（或与 IO 有关的任何事情）都是副作用。 更改是发生在全局变量中还是发生在调用该方法的对象的私有字段中并不重要。 因此，所有不返回任何内容的方法要么根本不执行任何操作，要么有副作用。
我的困惑来自我们大学的一位讲师（他仍然是学生，因此还不是无所不知；））告诉我设置者没有副作用。

Answer 1

你的导师错了。 向 SO 编辑们道歉，因为他们没有将整篇文章粘贴到这里，这就是维基百科所说的：

http://en.wikipedia.org/wiki/Side_effect_(computer_science)

金钱报价#1：

在计算机科学中，如果函数或表达式除了产生值之外，还修改某些状态或与调用函数或外部世界有可观察到的交互，则称该函数或表达式具有副作用。

金钱报价#2：

在存在副作用的情况下，程序的行为取决于过去的历史记录； 也就是说，评估的顺序很重要。

非 NOP Setter 始终满足该标准。

Answer 2

getter 和 setter 只是 get_ 和 set_ 方法的语法糖。 它们绝对会产生副作用（尽管当调用者想要增加计数器或其他东西时开始调整大量字段可能是一个坏主意）。

Answer 3

首先：我知道与语言无关的标签！“runako”非常正确地回答了这个问题。 但通常你想将你的知识应用到现实世界，所以我想我也很乐意提供一个以更务实的方式解决这个问题的答案。

当处理 C++、C# 或 Java 等现实世界语言时，即使是 nop 函数也会产生实际的副作用，可能导致代码被执行！

想想静态构造函数。 尽管规范并不总是指定类的静态构造函数运行的时间，但大多数时候它将是首次访问类的方法或成员的时间点。

C# 中的示例：

class NotSoObvious
{
    static NotSoObvious()
    {
        CauseSomeSideEffects();
    }

    // calling this can cause the constructor to run first!
    public static void DoNothing()
    {
        return;
    }
}

更重要的是，即使根本没有被调用的方法也可能会导致副作用！
想想反射（程序查询有关其自身结构的信息的能力）。
当一个方法存在但未被调用时，仍然可以通过反射检测到它。

没有调用它的方法肯定会对输出内部方法数量的程序产生副作用！

这一切都可以归结为：如果您想了解某种方法的实际副作用，您首先必须确定您认为什么是“副作用”。