排除特殊成员函数的普通成员函数是否存在平凡/非平凡概念？

嘿，这个问题问到点子上了！咱们把你的疑问拆成几个部分来逐一解答：

首先明确一个核心点：C++标准里的「平凡（trivial）」和「非平凡（non-trivial）」概念，只针对特殊成员函数——也就是你排除的构造函数、析构函数、拷贝/移动构造函数、拷贝/移动赋值运算符这几类。普通成员函数（比如你例子里的foo()）根本不在这个概念的适用范围内，标准完全没给它们定义“平凡”或“非平凡”的属性。

为什么会这样？因为特殊成员函数直接关联对象的生命周期、内存布局和拷贝语义，标准需要明确它们的平凡性来规范编译器的底层行为——比如平凡的拷贝构造函数允许编译器用memcpy直接拷贝对象内存，而非平凡的就不行。但普通成员函数不影响这些底层逻辑，所以不需要这类定义。

你的例子：class A { void foo() {/*nothing here*/} };里的foo()是平凡函数吗？ #

答案是：这个问题本身就不成立。因为“平凡”这个术语在C++里根本不适用于普通成员函数，所以没法用“平凡”或“非平凡”来描述它。它就是一个普通的用户定义成员函数而已，没有这层属性。

你的观点：「所有这类成员函数均为用户定义，因此都是非平凡函数」对吗？ #

严格来说，这个说法是不准确的。因为“非平凡”是和“平凡”对应的概念，既然普通成员函数不在“平凡”的讨论范畴里，自然也谈不上“非平凡”。你可以说它是用户定义的成员函数，但不能用“非平凡”来归类——这个词有严格的标准语境，只针对特殊成员函数。

是否有必要规定普通成员函数的平凡性？ #

完全没必要。普通成员函数的逻辑是开发者完全自主控制的，它们不会影响对象的基础语义（比如对象怎么创建、拷贝、销毁）。标准只需要管控那些和对象底层操作强绑定的特殊成员函数，普通成员函数的行为交给开发者自己决定就好，不需要额外的标准约束。

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