| Summary: | Deduction for class template specialization types seems to be broken with init-declarator-list with lambda as default template argument | ||
|---|---|---|---|
| Product: | gcc | Reporter: | xor xor <8ygd87qg> |
| Component: | c++ | Assignee: | Not yet assigned to anyone <unassigned> |
| Status: | UNCONFIRMED --- | ||
| Severity: | normal | CC: | webrown.cpp |
| Priority: | P3 | Keywords: | accepts-invalid, c++-lambda |
| Version: | 12.2.1 | ||
| Target Milestone: | --- | ||
| Host: | Target: | ||
| Build: | Known to work: | ||
| Known to fail: | Last reconfirmed: | ||
Consider the following program (compiled with -std=c++20): #include <type_traits> template <auto f = []{}> struct X {}; X x1, x2; static_assert(!std::is_same_v<decltype(x1), decltype(x2)>); int main() {} Relevant godbolt link: https://godbolt.org/z/h9Wd4K7sn According to https://eel.is/c++draft/dcl.type.class.deduct#1, it seems that type deduction should be done for x1 and x2 separately, and they should have the same type (and if they don't, then the compilation should at least give a diagnostic, perhaps an error). I am not well-versed with standardese, so please bear with me if something is wrong (and please point out if the standard seems to be ambiguous in this case). When x1 and x2 are declared in separate statements (like X x1; X x2;), they should have different types since the lambda in the template parameter specialization always has a distinct type whenever it is called. So if type deduction is carried out for x1 and x2 separately in the first example, they should have different types (even if somehow they're assigned the same types, the static_assert should fail). In any case, the above program should not compile. However, GCC trunk and 12.2.1 both seem to allow this program to compile. Clang however seems to have an expected behavior and gives the following error: <source>:4:1: error: template arguments deduced as 'X<(lambda at <source>:2:20){}>' in declaration of 'x1' and deduced as 'X<(lambda at <source>:2:20){}>' in declaration of 'x2' X x1, x2; ^ ~~ ~~ 1 error generated. Compiler returned: 1 It'd be great if this is fixed in case it turns out to be a bug. Thanks!