Page History

I am not convinced this is entirely sensible as a rule. The biggest issue is that this is unenforceable in a general case for C++. Consider uses of typeid where you want to get the type from an overloaded operator return type. Eg)

struct S {
  // Assume these have side effects
  int f(char);
  double f(double);
};
 
void f() {
  S s;
  (void)typeid(s.f(1.0));
}

This code is valid, and somewhat reasonable, but disallowed. There's no way to statically determine whether those side effects are being relied upon or not.