blob: 77dcffcdaad323330f3df7fdefac1bf368d98a1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
// PR c++/101165 - P2266R1 - Simpler implicit move
// { dg-do compile { target c++23 } }
// { dg-options "-Wdangling-reference" }
// Test from P2266R1, $ 5.2. LibreOffice OString constructor.
struct X {
X(auto&);
};
// The following compiles in C++20 (deducing X(char (&)[10])) but not
// after P2266 (because the returned expression now has type char (&&)[10],
// which cannot bind to auto&).
X f() {
char a[10];
return a; // { dg-error "cannot bind non-const lvalue reference" }
}
// The solution was to change it by making the return convert explicitly
// rather than implicitly:
X fixed() {
char a[10];
return X(a);
}
// $ 5.3. LibreOffice o3tl::temporary
template<class T>
T& temporary1(T&& x) { return x; } // { dg-error "cannot bind non-const lvalue reference" }
// Fixed by:
template<class T>
T& temporary2(T&& x) { return static_cast<T&>(x); }
void
test ()
{
int& r1 = temporary1 (42);
int& r2 = temporary2 (42);
}
|
