ถอดรหัสg++ไบนารีที่สร้างขึ้นเพื่อดูว่าเกิดอะไรขึ้น
main.cpp
void f() {}
void g();
extern "C" {
void ef() {}
void eg();
}
/* Prevent g and eg from being optimized away. */
void h() { g(); eg(); }
รวบรวมและแยกเอลฟ์เอาท์พุตที่สร้างขึ้น:
g++ -c -std=c++11 -Wall -Wextra -pedantic -o main.o main.cpp
readelf -s main.o
ผลลัพธ์ประกอบด้วย:
8: 0000000000000000 7 FUNC GLOBAL DEFAULT 1 _Z1fv
9: 0000000000000007 7 FUNC GLOBAL DEFAULT 1 ef
10: 000000000000000e 17 FUNC GLOBAL DEFAULT 1 _Z1hv
11: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND _GLOBAL_OFFSET_TABLE_
12: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND _Z1gv
13: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND eg
การตีความ
เราเห็นว่า:
efและegถูกเก็บไว้ในสัญลักษณ์ที่มีชื่อเดียวกับในรหัส
สัญลักษณ์อื่น ๆ ถูกทำให้ยุ่งเหยิง เรามาแก้ปัญหาให้พวกมัน
$ c++filt _Z1fv
f()
$ c++filt _Z1hv
h()
$ c++filt _Z1gv
g()
สรุป: ทั้งสองประเภทสัญลักษณ์ต่อไปนี้ไม่ได้ถูกทำให้ยุ่งเหยิง:
- ที่กำหนดไว้
- ประกาศแล้ว แต่ไม่ได้กำหนด (
Ndx = UND) เพื่อให้ที่ลิงก์หรือเวลารันจากไฟล์อ็อบเจ็กต์อื่น
ดังนั้นคุณจะต้องใช้extern "C"ทั้งคู่เมื่อโทร:
- C จาก C ++: บอก
g++ให้คาดหวังว่าจะมีสัญลักษณ์ที่ไม่มีการแกะสลักgcc
- C ++ จาก C: บอก
g++ให้สร้างสัญลักษณ์ unmangled gccเพื่อใช้
สิ่งที่ไม่ทำงานในภายนอกค
เห็นได้ชัดว่าฟีเจอร์ C ++ ใด ๆ ที่ต้องใช้ชื่อ mangling จะไม่ทำงานภายในextern C:
extern "C" {
// Overloading.
// error: declaration of C function ‘void f(int)’ conflicts with
void f();
void f(int i);
// Templates.
// error: template with C linkage
template <class C> void f(C i) { }
}
C ที่รันได้น้อยที่สุดจากตัวอย่าง C ++
เพื่อความสมบูรณ์และสำหรับ newbs ออกมีดูด้วย: วิธีการใช้ไฟล์ต้นฉบับ C ในโครงการ C ++?
การเรียก C จาก C ++ นั้นง่ายมาก: ฟังก์ชัน C แต่ละตัวมีสัญลักษณ์ที่ไม่เป็นไปได้เพียงสัญลักษณ์เดียวเท่านั้นดังนั้นจึงไม่จำเป็นต้องทำงานเพิ่มเติม
main.cpp
#include <cassert>
#include "c.h"
int main() {
assert(f() == 1);
}
CH
#ifndef C_H
#define C_H
/* This ifdef allows the header to be used from both C and C++
* because C does not know what this extern "C" thing is. */
#ifdef __cplusplus
extern "C" {
#endif
int f();
#ifdef __cplusplus
}
#endif
#endif
ซีซี
#include "c.h"
int f(void) { return 1; }
วิ่ง:
g++ -c -o main.o -std=c++98 main.cpp
gcc -c -o c.o -std=c89 c.c
g++ -o main.out main.o c.o
./main.out
ไม่มีextern "C"ลิงก์ล้มเหลวด้วย:
main.cpp:6: undefined reference to `f()'
เพราะg++คาดว่าจะได้พบกับ mangled fซึ่งgccไม่ได้ผลิต
ตัวอย่างบน GitHub
C ++ ที่รันได้น้อยที่สุดจากตัวอย่าง C
การเรียก C ++ จาก C นั้นยากขึ้นนิดหน่อย: เราต้องสร้างแต่ละฟังก์ชั่นที่ไม่ใช่แบบที่แยกกันของแต่ละฟังก์ชั่นที่เราต้องการเปิดเผย
ที่นี่เราแสดงให้เห็นถึงวิธีการเปิดเผยฟังก์ชั่น C ++ เกินพิกัดถึง C
main.c
#include <assert.h>
#include "cpp.h"
int main(void) {
assert(f_int(1) == 2);
assert(f_float(1.0) == 3);
return 0;
}
cpp.h
#ifndef CPP_H
#define CPP_H
#ifdef __cplusplus
// C cannot see these overloaded prototypes, or else it would get confused.
int f(int i);
int f(float i);
extern "C" {
#endif
int f_int(int i);
int f_float(float i);
#ifdef __cplusplus
}
#endif
#endif
cpp.cpp
#include "cpp.h"
int f(int i) {
return i + 1;
}
int f(float i) {
return i + 2;
}
int f_int(int i) {
return f(i);
}
int f_float(float i) {
return f(i);
}
วิ่ง:
gcc -c -o main.o -std=c89 -Wextra main.c
g++ -c -o cpp.o -std=c++98 cpp.cpp
g++ -o main.out main.o cpp.o
./main.out
ไม่extern "C"ว่าจะล้มเหลวด้วย:
main.c:6: undefined reference to `f_int'
main.c:7: undefined reference to `f_float'
เนื่องจากg++สัญลักษณ์ที่สร้างเป็น mangled ซึ่งgccไม่สามารถหาได้
ตัวอย่างบน GitHub
ทดสอบใน Ubuntu 18.04