C++ 2-phase lookup

最新推荐文章于 2023-08-15 02:58:43 发布

Terark-CTO-雷鹏

最新推荐文章于 2023-08-15 02:58:43 发布

阅读量986

点赞数

分类专栏： C++ 文章标签： c++ function class types user up

本文链接：https://blog.csdn.net/whinah/article/details/6959792

版权

C++ 专栏收录该内容

85 篇文章 1 订阅

订阅专栏

This 2-phase look up of g++ (gnu C++) seems not inconsistency: builtin types are not treat equivalent with user defined type.

#include <stdio.h>

class A {}; void f(A) { printf("%s\n", __PRETTY_FUNCTION__); }
class B {};

// now g(T) knew A,B,int,...
// phase 1 lookup just success for f(A)
template<class T> void g(T x) { f(x); }

// after definition of g(T) and class B
void f(B) { printf("%s\n", __PRETTY_FUNCTION__); }

void f(int x) { printf("%s\n", __PRETTY_FUNCTION__); }
void f(int*x) { printf("%s\n", __PRETTY_FUNCTION__); }

int main(int argc, char** argv) {
    g(A());   // should always(phase 1 and phase 2) be OK
    g(B());   // f(B) definition is after g(T) definition, phase 1 just got f(A)
    g(B());   //      but phase 2 got f(B)
    g(100);   // intend to let g calling f(int), but failed in g++ 4.1 or newer
    g(&argc); // intention: similar as g(100)
    return 0;
}