Mungkinkah yylval menjadi struct, bukan gabungan?

Ya, Anda dapat #define YYSTYPE menjadi tipe apa pun yang Anda inginkan daripada menggunakan %union. Namun, hal ini jarang berguna¹ -- jika Anda menginginkan informasi posisi sumber, sebaiknya gunakan %position yang dikombinasikan dengan %union.

Dimungkinkan juga (dan umum) untuk menggunakan struct dalam deklarasi %union. Hal ini memudahkan beberapa aturan untuk mengembalikan beberapa nilai (secara efektif).

¹_{Masalah utamanya adalah jika Anda menggunakan %type untuk menentukan penggunaan satu bidang struct, akan sulit menggunakan bidang lain dalam tindakan yang sama. Anda perlu melakukan semuanya secara manual, sehingga kehilangan manfaat dari pemeriksaan tipe gabungan bison}

Jika Anda ingin menyimpan informasi lokasi (nomor baris dan nomor kolom) untuk token Anda, Anda dapat menggunakan fasilitas lokasi Bison, yang menyimpan objek lokasi untuk setiap token dan non-terminal secara terpisah dari nilai semantik. Dalam suatu tindakan, Anda merujuk ke lokasi simbol sebagai @n.

Tumpukan lokasi dibuat dan dipelihara secara otomatis oleh bison jika bison melihat bahwa Anda telah merujuk ke lokasi mana pun dalam suatu aturan.

Secara default, tipe data lokasi adalah:

typedef struct YYLTYPE {
  int first_line;
  int first_column;
  int last_line;
  int last_column;
} YYLTYPE;

Informasi lokasi token harus diatur oleh lexer. Jika Anda menggunakan API default, itu disimpan dalam variabel global yylloc. Parser akan membuat informasi lokasi untuk non-terminal dengan menggunakan rentang dari awal item pertama produksi hingga akhir item terakhir. (Untuk produksi kosong, objek lokasi dengan panjang nol dihasilkan, dimulai dan diakhiri dengan posisi awal token lookahead.)

Kedua default ini dapat ditimpa jika perlu. Lihat panduan Bison untuk mengetahui detailnya.

Flex akan melacak nomor baris jika diminta dengan %option yylineno, tetapi tidak melacak posisi kolom, yang agak mengganggu. Selain itu, yylloc memerlukan nomor baris awal dan akhir; yylineno dalam tindakan fleksibel akan menjadi nomor baris di akhir token. Paling umum, Anda akan menggunakan makro YY_USER_ACTION untuk mempertahankan nilai yylloc; contoh implementasi (diambil dari jawaban ini, yang harus Anda baca jika menggunakan kode ini) adalah:

%option yylineno
%{
#define YY_USER_ACTION                                       \
  yylloc.first_line = yylloc.last_line;                      \
  yylloc.first_column = yylloc.last_column;                  \
  if (yylloc.first_line == yylineno)                         \
     yylloc.last_column += yyleng;                           \
  else {                                                     \
     int col;                                                \
     for (col = 1; yytext[yyleng - col] != '\n'; ++col) {}   \
     yylloc.last_column = col;                               \
     yylloc.last_line = yylineno;                            \
  }
%}