gracicot - Network

Ugh, maybe I'm just wayyyy too deep in a metaprogramming rabbit hole and I can't see the obvious solution. The only options I see...

Ugh, maybe I'm just wayyyy too deep in a metaprogramming rabbit hole and I can't see the obvious solution. The only options I see are horrendous compile times, horrible hacks or intrusive changes like a cookie on each concepts

In this context, `Next` may instantiate a concept recursively, which is bad. I want to drop that branch, and select the one using...

In this context, `Next` may instantiate a concept recursively, which is bad. I want to drop that branch, and select the one using `Next2`.

Simply wrapping `can_do` in a sfinae expression worked for some compilers, but now instantiating a concept could result in a hard error depending on the order of evaluation of the compiler chooses, which really really bad.

More info on my situation:I have a type that kinda looks like this: template<typename Next1, typename Next2> struct type { ...

More info on my situation:

I have a type that kinda looks like this:

template<typename Next1, typename Next2>
struct type {
Next n;
Next2 n2;

template<typename T> requires can_do<Next, T>
auto do_it() -> T {
n.template do_it<T>();
}

template<typename T> requires can_do<Next2, T>
auto do_it() -> T {
n2.template do_it<T>();
}
};

So... to make concepts work in a recursive context, I just have to wrap the concept in a sfinae expression, then use mutable constexpr...

So... to make concepts work in a recursive context, I just have to wrap the concept in a sfinae expression, then use mutable constexpr tricks to instantiate new types so that the compiler don't do hard error when trying to evaluate a constraint cycle?

Is there any easy way to make instantiating a concept be a soft error?

#cpp #cplusplus #cpp20

Concepts and sfinae are conspiring against me pls help 😭#cplusplus #cpp #SFINAE

Concepts and sfinae are conspiring against me pls help 😭

#cplusplus #cpp #SFINAE

I need to roll my own std::optional for the fourth time because I need to support references lets goooooooo#cplusplus #cpp

I need to roll my own std::optional for the fourth time because I need to support references lets goooooooo

#cplusplus #cpp

Explanation: I'm dealing with recursive structures. Concepts really don't like when you do stuff recursively. SFINAE on the other...

Explanation: I'm dealing with recursive structures. Concepts really don't like when you do stuff recursively. SFINAE on the other hand gracefully handles self referential conditions as long as you hit an incomplete type while doing so. There's no such thing as an incomplete concepts.

I do everything with concepts mostly, but there are specific places that sfinae will shine!

Me using c++20 after one month: concepts are so nice! I will only use concepts for everything, make all concepts subsume exactly how it...

Me using c++20 after one month: concepts are so nice! I will only use concepts for everything, make all concepts subsume exactly how it should!!!1!!1!

Me using c++20 after two years: uh, sfinae is pretty good right?

#cpp #cplusplus #cpp20

Yeah... I switched to fennec and librewolf and I'll probably just wait for ladybird and servo to become usable in the daily. Their...

Yeah... I switched to fennec and librewolf and I'll probably just wait for ladybird and servo to become usable in the daily. Their "clarification" was a bunch of corporate gaslighting without any meaningful changes. You really think I don't know the difference between a license and ownership? You really think I'm that stupid??

That was the last straw for me. I'm done with Mozilla, probably for ever. I think you all should do the same.

#firefox #mozilla #fennecbrowser #librewolf

At least we don't put strawberries in that spaghetti, that would be outrageous

At least we don't put strawberries in that spaghetti, that would be outrageous

Italians: Starting to be in peace with the idea that there exists some people that do enjoy pineapple on their pizzasQuébecois:...

Italians: Starting to be in peace with the idea that there exists some people that do enjoy pineapple on their pizzas

Québecois: Pizza-Ghetti 🤪

#food #pizza #spaghetti #canada #quebec

Yup, that's my cat's personality#cat #CatsOfMastodon #cats #CatsOfFediverse

Yup, that's my cat's personality

#cat #CatsOfMastodon #cats #CatsOfFediverse

I have a bluesky account now! Follow me there too! @gracicot.bsky.social #bluesky

I have a bluesky account now! Follow me there too! @gracicot.bsky.social #bluesky

It's done. I deleted my twitter account. Goodbye, I won't miss you. I found a much better and saner community here#twittermigration...

It's done. I deleted my twitter account. Goodbye, I won't miss you. I found a much better and saner community here

#twittermigration
#XMigration

I couldn't drive up north this time but I'm happy I was able to see it and take a few shots!

I couldn't drive up north this time but I'm happy I was able to see it and take a few shots!

YouTube recommended alt right videos on the top of my stream only three times this week, despite clicking on "not interested"...

YouTube recommended alt right videos on the top of my stream only three times this week, despite clicking on "not interested" again 🙄

Context: https://developercommunity.visualstudio.com/t/accept-invalid-MSVC-accept-invalid-pac/10756709

Context: https://developercommunity.visualstudio.com/t/accept-invalid-MSVC-accept-invalid-pac/10756709

Breaking news: MSVC developer learns that a syntax error is not a substitution failure#cpp #cplusplus #msvc

Breaking news: MSVC developer learns that a syntax error is not a substitution failure

#cpp #cplusplus #msvc

clang-tidy ruining my day again 😭Compile with clang-18? No problem in the code.Run clang-tidy? over 20 compile error.Upgrade to llvm 19?...

clang-tidy ruining my day again 😭

Compile with clang-18? No problem in the code.
Run clang-tidy? over 20 compile error.

Upgrade to llvm 19? Haha, clang-tidy emits a bogous compiler error about missing parenthesis on __has_builtin, but I don't use that in my code, and only use headers from the standard library.

#clang #cpp #cplusplus #llvm

Gotta love C++ initialization 🙃 #cplusplus #cpp

Gotta love C++ initialization 🙃

#cplusplus #cpp