Почему у сущности не может быть ограничений уникальности с обязательными обратными отношениями «один к одному»?

Если вы посмотрите на выход компилятора в том случае, когда вы использовали sqrt(10.2), я готов поспорить, что вы видите, что вызов sqrt() на самом деле не сделан.

Это происходит потому что GCC распознает несколько функций, которые он может обрабатывать специально. Это дает ему возможность делать определенные оптимизации, в этом случае Постоянное сгибание . Такие специальные функции называются Built-ins .

В случае, когда он должен ссылаться на математическую библиотеку (потому что вы вызываете ее с переменной), вам нужно связать это явно. Некоторые операционные системы / компиляторы делают это за вас, поэтому вы, возможно, не замечали в прошлом.