Why doesn’t ADL find function templates?

by

This part explains it:

C++ Standard 03 14.8.1.6:

[Note: For simple function names, argument dependent lookup (3.4.2) applies even when the function name is not visible within the scope of the call. This is because the call still has the syntactic form of a function call (3.4.1). But when a function template with explicit template arguments is used, the call does not have the correct syntactic form unless there is a function template with that name visible at the point of the call. If no such name is visible, the call is not syntactically well-formed and argument-dependent lookup does not apply. If some such name is visible, argument dependent lookup applies and additional function templates may be found in other namespaces.

namespace A {
  struct B { };
  template<int X> void f(B);
}
namespace C {
  template<class T> void f(T t);
}
void g(A::B b) {
  f<3>(b);    //ill-formed: not a function call
  A::f<3>(b); //well-formed
  C::f<3>(b); //ill-formed; argument dependent lookup
              // applies only to unqualified names
  using C::f;
  f<3>(b);    //well-formed because C::f is visible; then
              // A::f is found by argument dependent lookup
}

More Related Contents:

  1. What is “Argument-Dependent Lookup” (aka ADL, or “Koenig Lookup”)?
  2. In a templated derived class, why do I need to qualify base class member names with “this->” inside a member function?
  3. Derived template-class access to base-class member-data
  4. Propagating ‘typedef’ from based to derived class for ‘template’
  5. GCC issue: using a member of a base class that depends on a template argument
  6. What are the pitfalls of ADL?
  7. Two phase name lookup for C++ templates – Why?
  8. Interesting behavior of compiler with namespaces
  9. what does `using std::swap` inside the body of a class method implementation mean?
  10. How does “using std::swap” enable ADL?
  11. Scope resolution operator being used twice
  12. "imspossible" error on a simplest code [closed]
  13. Calling method on an object that is a private member of a class
  14. Capture characters from standard input without waiting for enter to be pressed
  15. How to redirect cin and cout to files?
  16. Is < faster than
  17. Type of integer literals not int by default?
  18. Deleted default constructor. Objects can still be created… sometimes
  19. Which is better option to use for dividing an integer number by 2?
  20. How to end C++ code
  21. Rewinding std::cout to go back to the beginning of a line
  22. Why void_t doesnt work in SFINAE but enable_if does
  23. Get home directory in Linux
  24. friend AND inline method, what’s the point ?
  25. std::back_inserter for a std::set?
  26. How do I call a pointer-to-member-function?
  27. Member function with static linkage
  28. What is difference between const and non const key?
  29. How to find Longest Common Substring using C++
  30. Are there any downsides to using UPX to compress a Windows executable?

Leave a Comment