| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++1z %s |
|---|
| 2 | // expected-no-diagnostics |
|---|
| 3 | |
|---|
| 4 | template<typename T> int &f0(T*, int); |
|---|
| 5 | float &f0(void*, int); |
|---|
| 6 | |
|---|
| 7 | void test_f0(int* ip, void *vp) { |
|---|
| 8 | // One argument is better... |
|---|
| 9 | int &ir = f0(ip, 0); |
|---|
| 10 | |
|---|
| 11 | // Prefer non-templates to templates |
|---|
| 12 | float &fr = f0(vp, 0); |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | namespace deduction_guide_example { |
|---|
| 16 | template<typename T> struct A { |
|---|
| 17 | A(T, int*); |
|---|
| 18 | A(A<T>&, int*); |
|---|
| 19 | enum { value }; |
|---|
| 20 | }; |
|---|
| 21 | |
|---|
| 22 | template<typename T> struct remove_ref_impl; |
|---|
| 23 | template<typename T> struct remove_ref_impl<T&> { using type = T; }; |
|---|
| 24 | template<typename T> using remove_ref = typename remove_ref_impl<T>::type; |
|---|
| 25 | |
|---|
| 26 | // FIXME: The standard's example is wrong; we add a remove_ref<...> here to |
|---|
| 27 | // fix it. |
|---|
| 28 | template<typename T, int N = remove_ref<T>::value> A(T&&, int*) -> A<T**>; |
|---|
| 29 | A a{1, 0}; |
|---|
| 30 | extern A<int> a; |
|---|
| 31 | A b{a, 0}; // uses the implicit ctor that is more specialized |
|---|
| 32 | |
|---|
| 33 | A<int> *pa = &a; |
|---|
| 34 | A<int> *pb = &b; |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | // Partial ordering of function template specializations will be tested |
|---|
| 38 | // elsewhere |
|---|
| 39 | // FIXME: Initialization by user-defined conversion is tested elsewhere |
|---|
| 40 | |
|---|