122
C++ try not to add footguns challenge (impossible)
(lemmy.world)
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
You already can do that with C++20 concepts and the requires expression
I imagine reflections would make the process more straightforward, requires expressions are powerful but either somewhat verbose or possibly incomplete.
For instance, in your example
foo
could have any of the following declarations in a class:void foo();
int foo() const;
template <typename T> foo(T = { }) &&;
decltype([]() { }) foo;
I'm not sure if there's anything
enable_if
can do that concepts can't do somewhat better but yeah there's definitely a lot of subtleties that reflection is going to make nicer or possible in the first placeOh,
std::enable_if
is straight up worse, they're unreadable and don't work when two function overloads (idk about variables) have the same signature.I'm not even sure enable_if can do something that constraints can't at all...