c++ - 头文件中定义的非内联虚函数

Question

The One Definition Rule states that:
In the entire program, an object or non-inline function cannot have more than one definition. (from Wikipedia)

好吧，我知道如果在头文件中定义了一个成员函数，它是隐式内联的，并且 ODR 没问题。

但是虚函数呢？我们知道，虚函数如果被多态调用，是不能被内联的。如果在头文件中定义这样的虚函数，是否会违反 ODR？

例如:

//derived.hpp
#include <iostream>
class Base {
public:
  virtual ~Base() {}
  virtual void vfunc() {
    std::cout << "Base::vfunc()\n";
  }
};

class Derived : public Base {
public:
  virtual ~Derived() {}

  virtual void vfunc() {
    std::cout << "Derived::vfunc()\n";
  }
};

//foo.cpp

#include "derived.hpp"
void func() {
  Base* ptr = new Derived();
  ptr->vfunc(); //polymorphic call, can't be inlined
  delete ptr;

  ptr = new Base();
  ptr->vfunc();
  delete ptr;
}
//main.cpp

#include "derived.hpp"

int main() {
  Base* ptr = new Derived();
  ptr->vfunc(); //polymorphic call, can't be inlined
  delete ptr;

  ptr = new Base();
  ptr->vfunc();
  delete ptr;
  return 0;
}

我很好奇:

vfunc(和 dtor)在 foo.cpp 和 main.cpp 中被多态地(非内联)调用，这意味着它在整个程序中定义了两次，所以它违反了 ODR，不是吗？它是如何编译的(链接)？

我刚看到:

More than one definition

In certain cases, there can be more than one definition of a type or a template. A program consisting of multiple header files and source files will typically have more than one definition of a type, but not more than one definition per translation unit. If a program contains more than one definition of a type, then each definition must be equivalent (also taken from Wikipedia)

某些情况是什么？以上案例是否属于其中之一？

Answer 1

vfunc(and dtor) is called in both foo.cpp and main.cpp polymorphically(not inlined), which means it's defined twice in the entire program,

首先:调用不代表定义。因此函数调用不会告诉您是否违反了 ODR。

so it violates the ODR, isn't it? How does it compiles(link) ?

它可以编译，因为在类定义内定义的成员函数是隐式声明内联的，因此不违反 ODR。这适用于 vfunc 定义以及 dtor，所以你在这里很好。

注意声明内联(显式或隐式)的函数与实际内联的函数之间存在差异。编译器将函数内联一次的决定可能会受到 inline 关键字的影响，但它曾经并且只是一个提示。如今，优化器可以比任何人更好地预测何时和何时不内联是一个不错的选择，因此编译器可以在它认为合适的时候忽略该提示，并且它可以内联未声明为内联的函数。因此，对于现代编译器，inline 只是一种遵循函数 ODR 的方法，这些函数未隐式声明为 inline。

更新:所以在你的例子中，函数是声明隐式内联的，定义包含在两个翻译单元(两个.cpp)中并且它确实不被编译器内联。在这种情况下，链接器将两次看到该函数的符号，但它不会因为内联声明而提示多个符号。