по-моему, наоборот, Андрей правильно написал. inline означает, что несколько реализаций функции с одинаковым именем - не ошибка

inline как раз подавляет ошибку ODR, у тебя в итоге будет несколько раз инстанцирован один метод. Гарантии что метод, инстанцированный несколько раз в разных TU, склеится линкером, нет

Со static (internal linkage) тоже будет не ошибка, но со static будет по одному экземпляру в каждом TU (со своим адресом каждый), а с inline будет в итоге одна функция, как если бы ты вручную писал extern и реализацию в cpp

тем более что одинаковый по сигнатуре метод может быть разным в разных TU

Нет, на практике нарушение ODR приводит к тому что будет выбран произвольный инстанс из всех и останется только он.

Тогда это будет нарушение ODR, так что слова про то что inline что то там подавляет это бред

inline точно так же должен следовать ODR

а, понял, я не прав

static требует выполнения ODR только в пределах одного TU, а не глобально, а эффект inline глобальный

Explanation

An inline function or inline variable (since C++17) has the following properties:

The definition of an inline function or variable (since C++17) must be reachable in the translation unit where it is accessed (not necessarily before the point of access).

An inline function or variable (since C++17) with external linkage (e.g. not declared static) has the following additional properties:

There may be more than one definition of an inline function or variable (since C++17) in the program as long as each definition appears in a different translation unit and (for non-static inline functions and variables (since C++17)) all definitions are identical. For example, an inline function or an inline variable (since C++17) may be defined in a header file that is #include'd in multiple source files.

It must be declared inline in every translation unit.

It has the same address in every translation unit.

Спасибо, всё соответствует моему пониманию, но про same address не знал. Это означает, что если где-то в одном TU берётся адрес inline функции, она уже нигде не сможет заинлайниться?

В других местах сможет

кстати да, при динамической линковке-то...

т. е. он должен быть одинаков только между теми TU, которые фактически выполняют операцию взятия адреса?

Нет, почему ты так решил?

Собственно я полагаю что ODR просто легализует такое поведение линкера. Пока ODR не нарушен, он может взять любой инстанс и все будет работать. Если нарушили мы будем наблюдать то что я описал выше.

потому что я не вижу третьей альтернативы с учётом требования стандарта, что адрес inline функции везде одинаков

он не может быть одинаков, если у функции вообще нет адреса (она заинлайнилась)

А в чем проблема выпилить функцию (заинлайнить) там где нет взятия адреса?

А где есть взятие сделать вызов функции