language-lawyer

2023 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why can't the Java compiler infer Iterable<String> from the contraints Iterable<? extends CharSequence> and () -> (Iterator<String>)
user_8454140
•
8
2
569
jls language-lawyer type-inference lambda java
Does greater operator ">" satisfy strict weak ordering?
user_87767460
•
7
2
354
language-lawyer strict-weak-ordering algorithm c++
Why does same_as concept check type equality twice?
user_77691470
•
46
3
2597
concept c++20 language-lawyer c++
Can a compiler place the implementation of an implicitly declared virtual destructor in a single separate translation unit?
user_82741270
•
8
1
176
incomplete-type language-lawyer delete-operator visual-c++ c++
Does writing the new value form part of the "value computation" of a pre-increment expression, or is it a "side effect"?
user_5606480
•
4
2
150
c++17 sequence-points language-lawyer c++11 c++
Is it possible to refer to a user-defined conversion template in a using declaration?
user_6403970
•
8
1
95
using-declaration language-lawyer conversion-operator inheritance c++
stdatomic.h function on plain int - yields undefined or implementation defined behaviour?
user_4271580
•
3
1
280
compare-and-swap language-lawyer atomic c
Is compiler allowed to call an immediate (consteval) function during runtime?
user_2612170
•
11
2
2068
consteval c++20 language-lawyer c++
What are the name lookup and type simplification rules for trailing return types?
user_5986960
•
6
2
220
trailing-return-type return-type language-lawyer c++11 c++
Does the position of this bit-wise operator change the behavior?
user_99689080
•
4
2
98
language-lawyer bitwise-operators bit-manipulation unsigned-integer c
Hot Questions