Make it an error unless all parameters passed are destructor-free (because there...

murderfs · on Jan 8, 2021

That doesn't help, the parameter might be invalidated by a destructor (e.g. passing foo.c_str(), where foo is a std::string on the stack)

beagle3 · on Jan 9, 2021

Then it isn't destructor-free (and not passed by reference if it's on the stack).

murderfs · on Jan 10, 2021

No. Arguments that are trivial types can still depend on other objects not being destroyed.

  void foo(const char* str) {
    if (*str == '\0') return;
    printf("%c", str[0]);
    std::string x = str + 1;
    return foo(x.c_str());
  }