There are many cases where the guaranteed implementation of a certain implementation inevitably leads to overhead.
For example, how to make buffer overflows with specific implementation behavior? Maybe this is an exception, if it is found, or maybe stop the program? But this always requires border checks.
++ , .
, Go, Rust Java, . , .