5 ms·

This is just a symptom of a bad assert() implementation, which funny enough is the standard. If you properly (void) it out, side effects are maintained. https:

• omoikane 6mo ago
  assert() is meant to be compiled away if NDEBUG is defined, otherwise it shouldn't be called assert(). Given that assert() may be compiled away, it makes sense not to give it anything that has side effects. Abseil has the convention where instead of assert(), users call "CHECK" for checks that are guaranteed to happen at run time, or "DCHECK" for checks that will be compiled away when NDEBUG is defined. https://github.com/abseil/abseil-cpp/blob/0093ac6cac892086a6d7d09c55421a2a4c2cdb2e/absl/log/check.h#L21 https://github.com/abseil/abseil-cpp/blob/0093ac6cac892086a6... https://github.com/abseil/abseil-cpp/blob/0093ac6cac892086a6d7d09c55421a2a4c2cdb2e/absl/log/internal/check_impl.h#L39 https://github.com/abseil/abseil-cpp/blob/0093ac6cac892086a6...
  • nmilo 6mo ago
    If your assert compiles down to `if (condition) {}` in production then the compiler will optimize away the condition while keeping any side effects.
    • IshKebab 6mo ago
      Yeah which may not be what you want. E.g. `assert(expensive_to_compute() == 0)`. The correct way to solve this is with debug asserts (as in Rust, or how the parent described).
      • nyc_pizzadev 6mo ago
        Genuine question, does Rust know if `expensive_to_compute()` has side effects? There are no params, so could it be compiled out if the return value is ignored? Ex: `expensive_to_compute()` What about: `(void) expensive_to_compute()`?
        • IshKebab 6mo ago
          No, Rust is the same as C++ in terms of tracking side effects. It doesn't matter that there are no parameters. It could manipulate globals or call other functions that have side effects (e.g. printing).
          • functional_dev 6mo ago
            What about rust const fn()? I think it guarantees there are no side effects
            • IshKebab 6mo ago
              I think you're right. Equivalent to C++'s constexpr.
        • aw1621107 6mo ago
          No, in general Rust doesn't (and can't) know whether an arbitrary function has side effects. The compiler does arguably have a leg up since Rust code is typically all built from source, but there's still things like FFI that act as visibility barriers for the compiler.
      • nmilo 6mo ago
        Compilers are very good these days. If it has no side effects it will likely be compiled out.