New answers tagged meta-programming
To instantiate std::conditional<N==0, val, typename Rec<N-1, val>::type>, the compiler needs to prove that both val and Rec<N-1, val>::type evaluate to a type and that N==0 evaluates to a constant expression that can be used in a boolean context. If those conditions are not met, then the program is not well-formed and requires a diagnostic. ...
Top 50 recent answers are included