实例化和名称绑定点

时间:2015-05-28 18:24:29

标签: c++ instantiation name-binding

我对使用以下示例实例化的问题感到困惑:

#include <iostream>

void f(int){std::cout<<"int"<<std::endl;}//3

template <typename T>
void g(T t)
{
    f(t);//4
}

void f(double){std::cout<<"double"<<std::endl;}

int main()
{
    g<int>(1);//1.point of instantiation for g<int>
    g<double>(1.1);//2.point of instantiation for g<double>, so f(double) is visible from here?
    return 0;
}

我虽然f是一个从属名称,但是1是g&lt;的实例化点。 int&gt;和2.是g&lt; 2的实例化点。 double&gt;,所以对于g(1.1),f(double)是可见的,但输出是

int
int

如果我在3处评论f(int)的声明,gcc报告错误(不是惊讶),并指出f(t)在4是实例化点(惊讶!!)。

test.cpp: In instantiation of ‘void g(T) [with T = int]’:
test.cpp:16:10:   required from here
test.cpp:9:5: error: ‘f’ was not declared in this scope, and no    declarations were found by argument-dependent lookup at the point of instantiation [-fpermissive]
  f(t);
     ^

有人可以为我清除实例化点和名称绑定的概念吗?

1 个答案:

答案 0 :(得分:7)

f(t)是一个依赖的非限定函数调用表达式,因此只有在定义上下文中找到的函数和通过ADL找到的函数才是候选函数。 f(int)在定义上下文中可见,但不是f(double),因此两次调用的重载解析都会解析为f(int)

ADL找不到

f(double),因为内置类型没有关联的类或命名空间。如果你传入了类类型的参数,并且有f的重载采用这种类型,ADL将能够找到它。例如:

void f(int);

template <typename T>
void g(T t)
{
    f(t);
}

class A {};
void f(double);
void f(A);

int main()
{
    g(1);   // calls f(int)
    g(1.1); // calls f(int)
    g(A{}); // calls f(A)
}
调用

f(A)是因为它位于全局命名空间中,并且A的关联命名空间集是全局命名空间。