Точка из n3290: поиск имени в зависимости от аргумента

Question

Точка из n3290 Проект стандарта ISO: Раздел: 3.4.2, Точка 2

For each argument type T in the function call, there is a set of zero or 
more associated namespaces and aset of zero or more associated classes to
be considered. The sets of namespaces and classes is determined entirely
by the types of the function arguments (and the namespace of any template
template argument).Typedef names and using-declarations used to specify 
the types do not contribute to this set. The sets of namespaces and 
classes are determined in the following way:

— If T is a fundamental type, its associated sets of namespaces and 
  classes are both empty. ##1st point
— If T is a class type (including unions), its associated classes are: 
  the class itself; the class of which it is a member, if any; and its 
  direct and indirect base classes. Its associated namespaces are the 
  namespaces of which its associated classes are members. Furthermore,
  if T is a class template specialization, its associated namespaces and
  classes also include: the namespaces and classes associated with the
  types of the template arguments provided for template type parameters
  (excluding template template parameters); the namespaces of which any
  template template arguments are members; and the classesof which any
  member templates used as template template arguments are members. 
  [ Note: Non-type template arguments do not contribute to the set of
  associated namespaces.—end note ]   ##2nd point
— If T is an enumeration type, its associated namespace is the namespace
  in which it is defined. If it is class member, its associated class is
  the member’s class; else it has no associated class.   ##3rd point
— If T is a pointer to U or an array of U, its associated namespaces and
  classes are those associated with U.    ##4th point
— If T is a function type, its associated namespaces and classes are 
  those associated with the function parameter types and those associated 
  with the return type.        ##5th point 
— If T is a pointer to a member function of a class X, its associated 
  namespaces and classes are those associated with the function parameter 
  types and return type, together with those associated with X.
— If T is a pointer to a data member of class X, its associated namespaces
  and classes are those associated with the member type together with those
  associated with X.       ##6th point

If an associated namespace is an inline namespace (7.3.1), its enclosing 
namespace is also included in the set. If an associated namespace directly
contains inline namespaces, those inline namespaces are also included in
the set. In addition, if the argument is the name or address of a set of
overloaded functions and/or function templates, its associated classes 
and namespaces are the union of those associated with each of the members of
the set, i.e., the classes and namespaces associated with its parameter 
types and return type. Additionally,if the aforementioned set of overloaded
functions is named with a template-id, its associated classes and namespaces
also include those of its type template-arguments and its template
template-arguments.

здесь я понял 2-й,3-й и 6-й пункт.. кто-нибудь может попытаться дать некоторые примеры... чтобы понять другой пункт... пожалуйста, объясните на примере?

А также во 2-м пункте он дал примечание:"Аргументы не типового шаблона не вносят вклад в набор связанных пространств имен" .. Объясните это также...?

Answer 1

Он объясняет, как вы ищете функцию на основе ее параметров.

1) Фундаментальные типы не являются членами пространства имен или класса, поэтому они не вносят свой вклад.

2b) нетипичные параметры шаблона являются значениями и не вносят вклад.

4) Если тип T* или T[], относитесь к нему так, как будто это просто T.

5) Если параметр является другой функцией, возобновите поиск связанных с ним пространств имен или классов.