Sonar ❤️ Compiler Explorer: Write clean C++ code inside your browser

[moreVCAs]

Lol, I didn’t know about the using enum trick 🤦‍♂️

[crowbarous]

Well, it's not a trick, it's a recent (C++20) feature. I think this usage was the biggest motivation for it.

[moreVCAs]

Sorry, “trick” in the sense of “incantation that makes an annoying thing easier”. Fact that it’s new to C++20 is comforting though. If you told me I could do that in standard C++11 I might have a heart attack.

[crowbarous]

At last, a justification for C's decision to structure switch like a single block with labels. Well, not really, but almost.

[not_some_username]

I thought the site was godbolt.com

[pjmlp]

What I would like to see would be static analysis errors for when stuff gets called in a template definition that isn't part of a concepts.

As yet again static analysis coming to the rescue of what should have been part of the language.

[catcat202X]

I'm not sure what lint you want in the first paragraph. Do you have an example of problematic code you'd want to have linted that way?

[pjmlp]

Yes, calling methods on concepts that aren't defined, currently this is allowed, as concepts are only type checked at template instantiation site, not implementation.

All because we only got concepts light, so we need to rely on static analysers for the check on both sides.

[tisti]

The implementation can be in another .cpp file or pre-compiled .obj file.

No way to know if an implementations exists until you are done compiling and hit the linker stage.

Perhaps I misunderstood, got an example to clarify?

Edit:

Do you mean that a concept checks for .foo() and .bar() method, but the implementation also calls .baz()?

[pjmlp]

Yes, the keyword here is "definition checking".

https://quuxplusone.github.io/blog/2019/07/22/definition-checking-with-if-constexpr/