blob: 9b46e2643793e3541d141cccfd8b983b35f9b597 (
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
40
41
42
43
44
45
46
|
// PR c++/106784
// { dg-do compile { target c++20 } }
// Adapted from <https://en.cppreference.com/w/cpp/types/is_convertible>.
#include <string>
#include <string_view>
#define SA(X) static_assert((X),#X)
class E { public: template<class T> E(T&&) { } };
int main()
{
class A {};
class B : public A {};
class C {};
class D { public: operator C() { return c; } C c; };
SA(__is_convertible(B*, A*));
SA(!__is_convertible(A*, B*));
SA(__is_convertible(D, C));
SA(!__is_convertible(B*, C*));
SA(__is_convertible(A, E));
using std::operator "" s, std::operator "" sv;
auto stringify = []<typename T>(T x) {
if constexpr (std::is_convertible_v<T, std::string> or
std::is_convertible_v<T, std::string_view>) {
return x;
} else {
return std::to_string(x);
}
};
const char* three = "three";
SA(!__is_convertible(std::string_view, std::string));
SA(__is_convertible(std::string, std::string_view));
auto s1 = stringify("one"s);
auto s2 = stringify("two"sv);
auto s3 = stringify(three);
auto s4 = stringify(42);
auto s5 = stringify(42.);
}
|
