จุลภาคในมาโคร C / C ++

สมมติว่าเรามีมาโครแบบนี้

#define FOO(type,name) type name

ซึ่งเราสามารถใช้เช่น

FOO(int, int_var);

แต่ไม่ง่ายอย่างนั้นเสมอไป:

FOO(std::map<int, int>, map_var); // error: macro "FOO" passed 3 arguments, but takes just 2

แน่นอนเราทำได้:

 typedef std::map<int, int> map_int_int_t;
 FOO(map_int_int_t, map_var); // OK

ซึ่งไม่ถูกหลักสรีรศาสตร์ ต้องจัดการกับความเข้ากันไม่ได้ของประเภทบวก มีความคิดอย่างไรในการแก้ไขปัญหานี้ด้วยมาโคร

เนื่องจากวงเล็บมุมสามารถแสดง (หรือเกิดขึ้นใน) ตัวดำเนินการเปรียบเทียบได้<เช่น>กัน<=และ>=การขยายมาโครจะไม่สามารถเพิกเฉยต่อเครื่องหมายจุลภาคภายในวงเล็บเหลี่ยมได้เช่นเดียวกับในวงเล็บ (นี่เป็นปัญหาสำหรับวงเล็บเหลี่ยมและวงเล็บปีกกาแม้ว่าโดยปกติจะเกิดเป็นคู่สมดุลก็ตาม) คุณสามารถใส่อาร์กิวเมนต์มาโครไว้ในวงเล็บ:

FOO((std::map<int, int>), map_var);

ปัญหาคือพารามิเตอร์ยังคงอยู่ในวงเล็บภายในการขยายแมโครซึ่งป้องกันไม่ให้อ่านเป็นประเภทในบริบทส่วนใหญ่

เคล็ดลับที่ดีในการแก้ปัญหานี้คือใน C ++ คุณสามารถแยกชื่อประเภทจากชื่อประเภทในวงเล็บโดยใช้ประเภทฟังก์ชัน:

template<typename T> struct argument_type;
template<typename T, typename U> struct argument_type<T(U)> { typedef U type; };
#define FOO(t,name) argument_type<void(t)>::type name
FOO((std::map<int, int>), map_var);

เนื่องจากประเภทฟังก์ชันการสร้างจะไม่สนใจวงเล็บพิเศษคุณสามารถใช้มาโครนี้โดยมีหรือไม่มีวงเล็บโดยที่ชื่อประเภทไม่มีเครื่องหมายจุลภาค:

FOO((int), int_var);
FOO(int, int_var2);

แน่นอนว่าใน C ไม่จำเป็นเพราะชื่อประเภทต้องไม่มีเครื่องหมายจุลภาคนอกวงเล็บ ดังนั้นสำหรับมาโครข้ามภาษาคุณสามารถเขียน:

#ifdef __cplusplus__
template<typename T> struct argument_type;
template<typename T, typename U> struct argument_type<T(U)> { typedef U type; };
#define FOO(t,name) argument_type<void(t)>::type name
#else
#define FOO(t,name) t name
#endif

หากคุณไม่สามารถใช้วงเล็บและคุณไม่ชอบโซลูชัน SINGLE_ARG ของ Mike ให้กำหนด COMMA:

#define COMMA ,

FOO(std::map<int COMMA int>, map_var);

นอกจากนี้ยังช่วยในกรณีที่คุณต้องการสตริงอาร์กิวเมนต์แมโครบางส่วนเช่นใน

#include <cstdio>
#include <map>
#include <typeinfo>

#define STRV(...) #__VA_ARGS__
#define COMMA ,
#define FOO(type, bar) bar(STRV(type) \
    " has typeid name \"%s\"", typeid(type).name())

int main()
{
    FOO(std::map<int COMMA int>, std::printf);
}

std::map<int , int> has typeid name "St3mapIiiSt4lessIiESaISt4pairIKiiEEE"ซึ่งพิมพ์

หากตัวประมวลผลล่วงหน้าของคุณรองรับมาโครตัวแปร:

#define SINGLE_ARG(...) __VA_ARGS__
#define FOO(type,name) type name

FOO(SINGLE_ARG(std::map<int, int>), map_var);

มิฉะนั้นจะน่าเบื่อกว่าเล็กน้อย:

#define SINGLE_ARG2(A,B) A,B
#define SINGLE_ARG3(A,B,C) A,B,C
// as many as you'll need

FOO(SINGLE_ARG2(std::map<int, int>), map_var);

เพียงกำหนดFOOเป็น

#define UNPACK( ... ) __VA_ARGS__

#define FOO( type, name ) UNPACK type name

จากนั้นเรียกใช้ด้วยวงเล็บรอบอาร์กิวเมนต์ type เสมอเช่น

FOO( (std::map<int, int>), map_var );

แน่นอนว่าเป็นความคิดที่ดีที่จะยกตัวอย่างคำเรียกร้องในความคิดเห็นเกี่ยวกับนิยามมาโคร

มีอย่างน้อยสองวิธีในการดำเนินการนี้ ขั้นแรกคุณสามารถกำหนดมาโครที่รับหลายอาร์กิวเมนต์:

#define FOO2(type1, type2, name) type1, type2, name

หากคุณทำเช่นนั้นคุณอาจพบว่าคุณต้องกำหนดมาโครเพิ่มเติมเพื่อจัดการกับข้อโต้แย้งมากขึ้น

ประการที่สองคุณสามารถใส่วงเล็บรอบอาร์กิวเมนต์:

#define FOO(type, name) type name
F00((std::map<int, int>) map_var;

หากคุณทำเช่นนั้นคุณอาจพบว่าวงเล็บพิเศษทำให้ไวยากรณ์ของผลลัพธ์ผิดไป

เป็นไปได้ด้วยP99 :

#include "p99/p99.h"
#define FOO(...) P99_ALLBUTLAST(__VA_ARGS__) P99_LAST(__VA_ARGS__)
FOO()

โค้ดด้านบนจะตัดเฉพาะเครื่องหมายจุลภาคสุดท้ายในรายการอาร์กิวเมนต์เท่านั้น ตรวจสอบด้วยclang -E(P99 ต้องใช้คอมไพเลอร์ C99)

คำตอบง่ายๆคือทำไม่ได้ นี่เป็นผลข้างเคียงของการเลือกใช้<...>สำหรับอาร์กิวเมนต์เทมเพลต <และ>ยังปรากฏอยู่ในบริบทที่ไม่สมดุลดังนั้นกลไกแมโครไม่สามารถขยายไปจัดการกับพวกเขาเหมือนจะจัดการวงเล็บ (สมาชิกในคณะกรรมการบางคนโต้แย้งเกี่ยวกับโทเค็นที่แตกต่างกันพูด(^...^)แต่พวกเขาไม่สามารถโน้มน้าวปัญหาส่วนใหญ่โดยใช้<...>)