Viewing file:  explicit-args7.C (979 B) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// PR c++/12672
// Verify we don't substitute explicit template arguments into
// candidate function templates when the arity of the function
// template disagrees with the arity of the call.
template<class T>
struct A { typedef typename T::type type; };
template<class T> void f(T); // arity 1
template<class T> void f(T, T, T); // arity 3
template<class T> typename A<T>::type f(T, T); // arity 2
template<class T, class U> typename A<T>::type f(U, U); // arity 2
struct B {
template<class T> void f(T); // arity 1
template<class T> void f(T, T, T); // arity 3
template<class T> typename A<T>::type f(T, T); // arity 2
template<class T, class U> typename A<T>::type f(U, U); // arity 2
};
int main() {
// If overload resolution attempts deduction for any of the arity-2 function
// templates, the substitution of explicit arguments into the template would
// cause a hard error.
f<int>(1);
f<int>(1, 1, 1);
B b;
b.f<int>(1);
b.f<int>(1, 1, 1);
}
|
