什么是平凡函数？

Question

[basic.def.odr]/3引用了术语“非平凡函数”，我在标准（N4140）中找不到它的定义。

[basic.def.odr]/3

除非将左值-右值转换（4.1）应用于x会产生一个不调用任何重要函数的常量表达式（5.19），并且如果x是一个对象，ex是表达式e的一组潜在结果的元素，其中左值-右值转换（4.1）应用于e，或者e是一个丢弃的值表达式（第5条）。

Answer 1

这个小例子可能会帮助您理解[basic.def.odr]/3上下文中的非平凡函数

struct C { 
        int l; 
        constexpr C(int _l) : l(_l) { } 
        constexpr C(const C&c) : q(c.l* 2) { } 
      }; 

      int main(void) { 
        constexpr C c(42); 
        constexpr int m= c.l; 
        struct K{ 
         int foo() { return c.l; } 
        } l; 
        return l.foo(); 
      } 

如果你看一下标准中的以下几行

将左值到右值的转换（4.1）应用于x，得到一个不调用任何非平凡函数的常量表达式（5.19）

在这里，c满足出现在常量表达式中的要求，但将左值到右值的转换应用于a会调用一个非平凡的函数。

为什么它调用一个非平凡的函数？

当未赋值的操作数或其子表达式中发生左值到右值的转换时，不访问被引用对象中包含的值。否则，如果glvalue具有类类型，则转换副本将从glvalue初始化类型为T的临时值，并且转换的结果是临时值的prvalue

因此，prvalue是使用C类的复制构造函数创建的，因为复制构造函数是用户声明的，所以它不是平凡的，因此这里不使用ODR

类X的复制/移动赋值操作符是微不足道的，如果它不是用户提供的，它的参数类型列表等价于隐式声明的参数类型列表

我希望这个例子能澄清你的疑问

Answer 2

“非平凡函数”是“平凡特殊成员函数”的补充。对于什么是普通和非普通的默认/复制/移动构造函数、复制/移动赋值运算符或析构函数，有一些定义——这些特性只与特殊成员函数有关，并决定在某些情况下是否需要调用它们。

这些定义见第12章。

默认构造函数，§12.1/4：

如果默认构造函数不是用户提供的，并且：

• 它的类没有虚拟函数（10.3）和虚拟基类（10.1），并且

否则，默认构造函数是非常重要的。

复制/移动构造函数，§12.8/12：

如果类X的复制/移动构造函数不是用户提供的，它的参数类型列表相当于隐式声明的参数类型列表，并且如果

• 类X没有虚拟函数（10.3）和虚拟基类（10.1），并且

否则，复制/移动构造函数就非常重要。

复制/移动分配操作员，§12.8/26：

如果类X的复制/移动赋值运算符不是用户提供的，那么它的参数类型列表相当于隐式声明的参数类型列表，如果

• 类X没有虚拟函数（10.3）和虚拟基类（10.1），并且
• 类X没有volatile限定类型的非静态数据成员，并且
• 选择复制/移动每个直接基类的赋值运算符
• 对于类类型（或其数组）的X的每个非静态数据成员，选择用于复制/移动该成员的赋值运算符是微不足道的

否则，复制/移动赋值运算符就非常重要。

析构函数，§12.4/5：

如果析构函数不是用户提供的，并且如果：

• 析构函数不是虚拟的，

否则，析构函数就非常重要