Wywołanie globalną funkcję z konstruktora

Question

mam ten kod:

#include <iostream> 
using namespace std; 

struct A; 
struct B; 

void g(A* a){ cout << "A";} 
void g(B* b){ cout << "B";} 

struct A{ 
    A(){ g(this); } 
}; 

struct B : A{ 
    B(){} 
}; 


int main() { 
    B* b=new B(); 
    return 0; 
} 

w którym wyjście jest:

Czy to znaczy typ this wskaźnik przekazany do konstruktora A() jest typu A*?

Answer 1

Tak.

Chodzi o to, że obiekt B jest także obiektem A. Gdy jesteś wewnątrz funkcji A, klasa nie wie, czy jest to B czy nie. Tak więc, this -ptr będzie typu A*.

Podczas wywoływania funkcji wewnątrz B jest to B*.

Answer 2

Tak, właśnie to oznacza.

Answer 3

Jak wspomniano w [9.2.2.1/1] w wersji roboczej (wskaźnik this):

Rodzaj tym w funkcji składowej klasy X to X *.

Zauważmy, że konstruktor jest Specjalna funkcja członek i A jest podobiekt z B, zatem wskaźnik this wewnątrz ciała funkcji członkowskich A jest typu A*, gdy jest on typu B* zasięgu funkcje składowe B.
Należy również zauważyć, że numery this od A i this od mogą również mieć różne wartości, tzn. Mogą wskazywać na różne podobiekty.
Jako przykład:

#include<iostream> 

struct A { 
    A() { std::cout << this << std::endl; } 
    int i{0}; 
}; 

struct B: A { 
    B() { std::cout << this << std::endl; } 
    virtual void f() {} 
}; 

int main() { 
    B b; 
} 

---

stwierdzili, że:

Czy to znaczy typ ten wskaźnik przekazany do konstruktora A() jest typu A?

Nie, nie jest. Jest to typ A*.

---

EDIT

Pomimo OP edytowane pytanie i zmieniły swoje znaczenie, wolałbym zostawić w tym odpowiedzi na cytat z pierwotnego pytania.
Wycofanie byłoby dobrym działaniem dla tej edycji.
W każdym razie odpowiedź nadal obowiązuje.