টুলচেইন — g++, compile আর link

১ · C++ কোড থেকে প্রোগ্রাম — পাইপলাইনটা কেমন

একটি পরিচিত দৃশ্য দিয়ে শুরু করি। তানিয়া একটি অনলাইন কোর্স থেকে C++ শিখছেন। AI-কে দিয়ে একটি ছোট প্রোগ্রাম লিখিয়ে নিজের ল্যাপটপে compile করতেই স্ক্রিনে এলো:

main.cpp:4:10: error: 'println' is not a member of 'std'

অথচ একই কোড বন্ধুর কম্পিউটারে দিব্যি চলছে! কোড একই, তাহলে পার্থক্যটা কোথায়? পার্থক্য কোডে নয় — পার্থক্য toolchain-এ: কোন compiler, কোন version, কোন standard মেনে চলতে বলা হয়েছে। এই পর্ব শেষে আপনি এমন মেসেজ দেখেই বুঝবেন সমস্যাটি কোথায়।

আগের দুই পর্বে দেখেছেন C++ কেন আছে আর সমস্যাকে কীভাবে বস্তু ও দায়িত্বে ভাঙতে হয়। এবার প্রশ্ন — আপনার লেখা লেখাটুকু CPU পর্যন্ত পৌঁছায় কীভাবে? CPU বোঝে শুধু machine code. মাঝখানের অনুবাদ কয়েকটি ধাপে হয়। নিচের ডায়াগ্রামে “পরে” চাপুন, আর প্রতিটি ধাপে ফাইলের ভেতরের জিনিস কীভাবে বদলায় খেয়াল করুন।

#include <iostream>

int main() {
    std::cout << "Hello, Dhaka!\n";
    return 0;
}

// <iostream> নিজে আরও অনেক header টানে:
// <ostream>, <istream>, <string>, <ios> …
namespace std {
  template<typename _CharT, typename _Traits>
    class basic_ostream : virtual public basic_ios<_CharT, _Traits> {
  // … হাজার হাজার লাইন template কোড …
  extern ostream cout;
}
int main() {
    std::cout << "Hello, Dhaka!\n";
    return 0;
}

main:
    sub     rsp, 8
    mov     esi, OFFSET FLAT:.LC0       ; "Hello, Dhaka!\n"
    mov     edi, OFFSET FLAT:_ZSt4cout   ; std::cout
    call    _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
    xor     eax, eax
    add     rsp, 8
    ret

48 83 ec 08 be ?? ?? ?? ?? bf ?? ?? ?? ??
e8 ?? ?? ?? ?? 31 c0 48 83 c4 08 c3
↑ ?? = “std::cout আর operator<< কোথায় আছে জানি না”

$ g++ main.cpp -o main
$ ./main
Hello, Dhaka!

২ · C++ কেন compile হতে বেশি সময় নেয়

যাঁরা C থেকে আসছেন, তাঁরা প্রথমেই খেয়াল করেন — একই আকারের প্রোগ্রাম C++-এ compile হতে বেশি সময় লাগে। বড় প্রজেক্টে এই পার্থক্য মিনিট থেকে ঘণ্টায় গিয়ে দাঁড়ায়। কারণগুলো বুঝলে পরে build দ্রুত করার কৌশলগুলোও সহজে বুঝবেন।

যেকোনো ধাপে থামিয়ে মাঝের ফাইল দেখা যায় — C-র মতোই, শুধু কমান্ড g++:

৩ · তিন বড় compiler — আর আপনার কম্পিউটারে একটি বসানো

C++ কোনো একটি কোম্পানির পণ্য নয়। ভাষার নিয়ম লেখা আছে ISO-র একটি আনুষ্ঠানিক দলিলে — C++ standard. সেই নিয়ম মেনে আলাদা আলাদা দল compiler বানায়। আজ তিনটি compiler সবচেয়ে বেশি ব্যবহৃত:

এই কোর্সে আমরা মূলত g++ ব্যবহার করব, কারণ এটি সব OS-এ পাওয়া যায় আর পাতার কোড-রানারও g++ দিয়েই চলে। তবে clang++-এর কমান্ড প্রায় হুবহু এক — g++-এর জায়গায় clang++ লিখলেই হয়। শুধু MSVC আলাদা নিয়মে চলে।

শুরুতে কিছু ইনস্টল না করলেও চলবে — এই কোর্সের কোড পাতাতেই চালানো যায়। তবে নিজের কম্পিউটারে সেটআপ করলে আসল কাজের অভিজ্ঞতা পাবেন। আপনার OS-এর ট্যাবটি বেছে নিন (ধাপগুলো উঁচু স্তরের; ইনস্টলারের পর্দা সময়ের সাথে একটু বদলাতে পারে):

pacman -S mingw-w64-ucrt-x86_64-gcc mingw-w64-ucrt-x86_64-gdb

sudo apt install build-essential gdb
g++ --version

xcode-select --install
clang++ --version

৪ · প্রতিদিনের কমান্ড — প্রতিটি flag ভেঙে দেখা

শুধু g++ main.cpp লিখলেও প্রোগ্রাম তৈরি হয়। কিন্তু পেশাদাররা প্রায় কখনো এভাবে লেখেন না। কয়েকটি ছোট flag যোগ করলেই compiler আপনার পাহারাদার হয়ে ওঠে। নিচের কমান্ডটির প্রতিটি অংশ ধাপে ধাপে দেখুন:

C++-এর সংস্করণগুলো — -std=-এ কী লিখবেন

C++ standard মোটামুটি প্রতি তিন বছরে নতুন সংস্করণ পায়। প্রতিটি সংস্করণের জন্য compiler __cplusplus নামের একটি ম্যাক্রোতে আলাদা সংখ্যা বসায় — সংখ্যাটি আসলে বছর আর মাস (yyyymm):

আপনার compiler আসলে কোন standard মেনে চলছে, প্রোগ্রাম নিজেই বলে দিতে পারে। নিচের কোডটি চালান — এই পাতার রানার C++23 মোডে compile করে:

#include <iostream>

// __cplusplus-এর মান দেখে standard-এর নাম বের করা
const char* standard_name(long v) {
    if (v >= 202302L) return "C++23";
    if (v >= 202002L) return "C++20";
    if (v >= 201703L) return "C++17";
    if (v >= 201402L) return "C++14";
    if (v >= 201103L) return "C++11";
    return "C++98/03";
}

int main() {
    std::cout << "__cplusplus = " << __cplusplus << '\n';
    std::cout << "Standard    = " << standard_name(__cplusplus) << '\n';
}

এক নজরে আগামীর একটি flag — sanitizer

আরেক জোড়া flag মনে রাখুন: -fsanitize=address,undefined. এটি দিলে compiler প্রোগ্রামে বাড়তি পাহারা-কোড বসায়। ফলে প্রোগ্রাম চলার সময় vector-এর সীমার বাইরে পড়া বা অন্য undefined behavior ঘটলেই সঙ্গে সঙ্গে লাইন নম্বরসহ রিপোর্ট দেয়। এই sanitizer Linux, WSL আর macOS-এ সহজে চলে; Windows-এর MinGW-তে সাধারণত চলে না (MSVC-র নিজস্ব /fsanitize=address আছে)। বিস্তারিত দেখবেন পর্ব ৪৩ আর পর্ব ৪৮-এ।

# শেখা ও debug-এর সময়
g++ -std=c++23 -Wall -Wextra -g -fsanitize=address,undefined main.cpp -o main

# চূড়ান্ত, দ্রুত প্রোগ্রাম
g++ -std=c++23 -Wall -Wextra -O2 main.cpp -o main

৫ · Warning — compiler-এর বন্ধুসুলভ পাহারা

Warning মানে “প্রোগ্রাম বানালাম, কিন্তু এখানে কিছু গোলমেলে লাগছে।” নতুনরা প্রায়ই উপেক্ষা করেন — “চলছে তো!” অথচ বেশিরভাগ আসল বাগ প্রথমে warning হয়েই আসে। C++-এ সবচেয়ে পরিচিত উদাহরণ signed আর unsigned সংখ্যার মিশ্রণ।

একটি তালিকায় পাশাপাশি দুটি নম্বরের পার্থক্য বের করতে অনেকেই (এবং অনেক AI-ও) এভাবে লেখেন:

void print_steps(const std::vector<int>& marks) {
    for (int i = 0; i < marks.size() - 1; ++i) {     // বিপদ!
        std::cout << marks[i + 1] - marks[i] << ' ';
    }
}

-Wall চালু থাকলে g++ সঙ্গে সঙ্গে বলে:

warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]

মানে কী? marks.size() ফেরত দেয় একটি unsigned সংখ্যা — যা কখনো ঋণাত্মক হতে পারে না। তালিকা খালি হলে 0 - 1 ঋণাত্মক −১ হয় না, বরং ঘুরে গিয়ে হয় বিশাল একটি সংখ্যা (64-bit কম্পিউটারে প্রায় ১৮ কুইন্টিলিয়ন)। তখন লুপ থামে না, আর খালি vector-এর বাইরে পড়তে থাকে — undefined behavior. ঠিক যেন মিটার রিডিং ০০০০ থেকে এক ঘর পেছালে ৯৯৯৯ হয়ে যাওয়া। আধুনিক সমাধান নিচে:

#include <iostream>
#include <vector>

// পাশাপাশি দুটি নম্বরের পার্থক্য ছাপে
void print_steps(const std::vector<int>& marks) {
    // std::ssize: আকারটি signed সংখ্যা হিসেবে দেয় (C++20 থেকে)
    for (int i = 0; i + 1 < std::ssize(marks); ++i) {
        std::cout << marks[i + 1] - marks[i] << ' ';
    }
    std::cout << "(done)\n";
}

int main() {
    print_steps({70, 85, 92});
    print_steps({});   // খালি তালিকা: লুপ একবারও চলবে না
}

৬ · একাধিক ফাইল — আলাদা compile, শেষে link

বাস্তবের প্রোগ্রাম একটি ফাইলে থাকে না। ধরুন একটি ছোট মোবাইল ওয়ালেট অ্যাপ — টাকা জমার হিসাবের কোড এক ফাইলে, মূল প্রোগ্রাম আরেক ফাইলে। C++-এ এর প্রচলিত গঠন তিনটি ফাইল:

• wallet.h — ঘোষণা (declaration): “deposit নামে একটি ফাংশন আছে, দুটি int নেয়, int ফেরত দেয়।” যেন রেস্টুরেন্টের মেনু — কী পাওয়া যায় বলে, রান্না করে না।
• wallet.cpp — সংজ্ঞা (definition): ফাংশনের আসল দেহ। যেন রান্নাঘর।
• main.cpp — ফাংশনটি ব্যবহার করে; #include "wallet.h" দিয়ে শুধু মেনুটি দেখে।

এই declaration আর definition-এর ভাগটাই পুরো ব্যবস্থার চাবি। Compiler-এর কাছে মেনু থাকলেই যথেষ্ট; রান্নাঘর খুঁজে বের করার দায় linker-এর। নিচের ডায়াগ্রামে দেখুন:

// wallet.h
int deposit(int balance, int amount);   // ঘোষণা

// wallet.cpp
#include "wallet.h"
int deposit(int balance, int amount) {    // সংজ্ঞা
    return balance + amount;
}

// main.cpp
#include <iostream>
#include "wallet.h"
int main() {
    std::cout << "Balance: " << deposit(500, 250) << '\n';
}

$ g++ -std=c++23 -Wall -Wextra -c wallet.cpp
$ nm wallet.o
0000000000000000 T _Z7depositii     ; T = সংজ্ঞা এখানে আছে
$ nm -C wallet.o
0000000000000000 T deposit(int, int)

$ g++ -std=c++23 -Wall -Wextra -c main.cpp
$ nm -C main.o | grep deposit
                 U deposit(int, int)  ; U = undefined: অন্য কোথাও খুঁজতে হবে

$ g++ main.o wallet.o -o wallet
$ ./wallet
Balance: 750

$ g++ main.o -o wallet
/usr/bin/ld: main.o: in function `main':
main.cpp:(.text+0x1e): undefined reference to `deposit(int, int)'
collect2: error: ld returned 1 exit status

ছোট প্রজেক্টে এক লাইনেই সব করা যায় — g++ -std=c++23 -Wall -Wextra main.cpp wallet.cpp -o wallet. g++ ভেতরে ভেতরে ঠিক উপরের ধাপগুলোই করে। কখনো g++ main.cpp wallet.h লিখবেন না — header আলাদাভাবে compile করার জিনিস নয়, সে .cpp-এর ভেতরে include হয়েই কাজ করে।

নামগুলো এমন অদ্ভুত কেন — name mangling

C-তে deposit ফাংশনের symbol সাধারণত শুধু deposit. C++-এ সেটি _Z7depositii. কারণ C++-এ একই নামে একাধিক ফাংশন থাকতে পারে (overloading, পর্ব ০৯) — add(int, int) আর add(double, double). Linker শুধু নাম মেলায়, টাইপ বোঝে না। তাই compiler নামের ভেতরেই টাইপ লিখে দেয়। একে বলে name mangling.

খেয়াল করুন, return টাইপ সাধারণ ফাংশনের symbol-এ থাকে না — শুধু parameter. Mangled নাম হাতে পেলে c++filt _Z3addii লিখলে পড়ার মতো রূপ দেখায়। আর C-তে লেখা কোনো library-র ফাংশন C++ থেকে ডাকতে হলে ঘোষণার আগে extern "C" লিখতে হয় — তখন compiler নামটি mangle করে না, C-র নিয়মে রাখে। C আর C++ একসাথে জোড়ার এই খুঁটিনাটি দেখতে C কোর্সের মডুলার প্রোগ্রাম পর্বটিও কাজে লাগবে; header আর namespace দিয়ে বড় C++ প্রোগ্রাম সাজানো দেখবেন পর্ব ১১-এ।

৭ · Error পড়তে শেখা — compile, link না runtime?

এই পর্বের সবচেয়ে কাজের দক্ষতা এটি। প্রতিটি error মেসেজের ভেতরেই লেখা থাকে সে কোন ধাপ থেকে এসেছে। ধাপ চিনলে কোথায় খুঁজবেন তাও বুঝে যাবেন।

একটি সহজ সূত্র: মেসেজের শুরুতে ফাইল.cpp:লাইন:কলাম: error: থাকলে সেটি compiler; ld, collect2 বা undefined reference থাকলে linker. এবার একটি আসল compile error লাইন ধরে ধরে পড়ি। কোডে std::cout << "Hello" << '\n'-এর শেষে সেমিকোলন বাদ পড়েছে:

1main.cpp: In function 'int main()':2main.cpp:5:33: error: expected ';' before 'return'3    5 |     std::cout << "Hello" << '\n'4      |                                 ^5      |                                 ;6    6 |     return 0;7      |     ~~~~~~

Template error — দুই পাতার মেসেজ, এক লাইনের সমস্যা

C++-এর কুখ্যাত দিক হলো template-এর ভেতরের error. ধরুন std::list-কে std::sort দিয়ে সাজাতে চাইলেন (যা চলে না, কারণ std::sort-এর দরকার এমন iterator যা সরাসরি লাফ দিতে পারে)। g++ কয়েক ডজন লাইনের মেসেজ দেবে, যার বড় অংশ standard library-র ভেতরের ফাইল থেকে:

In file included from /usr/include/c++/…/algorithm:61,
                 from main.cpp:1:
/usr/include/c++/…/bits/stl_algo.h: In instantiation of 'void std::__sort(…) [with _RandomAccessIterator = std::_List_iterator<int>; …]':
main.cpp:6:14:   required from here
/usr/include/c++/…/bits/stl_algo.h: error: no match for 'operator-' (operand types are 'std::_List_iterator<int>' and 'std::_List_iterator<int>')
   … আরও অনেক “note: candidate …” লাইন …

পড়ার কৌশল তিনটি: (১) প্রথম error: লাইনটি খুঁজুন — এখানে “দুটি list iterator বিয়োগ করা যায় না”; (২) required from here লেখা যে লাইনে আপনার নিজের ফাইলের নাম (main.cpp:6) আছে, সেখানে যান — ভুলটা আপনার ডাকে, library-তে নয়; (৩) note: candidate-এর লম্বা তালিকা প্রথমবার এড়িয়ে যান। C++20-এর concepts (পর্ব ৪০) ঠিক এই সমস্যা কমাতেই এসেছে — তখন মেসেজ অনেক ছোট ও স্পষ্ট হয়, যেমন “constraint not satisfied”.

৮ · IDE, অনলাইন টুল আর build system

নতুনরা প্রায়ই ভাবেন “Code::Blocks-ই তো compiler.” আসলে না। IDE হলো কোড লেখার খাতা আর বোতামের প্যানেল; “Build” চাপলে ভেতরে সে g++, clang++ বা MSVC-কে ডাকে — ঠিক এই পর্বে শেখা কমান্ডগুলোই। IDE বদলালেও toolchain-এর ধারণা বদলায় না।

Compiler Explorer — compiler-এর মনের ভেতর উঁকি

Compiler Explorer (godbolt.org, Matt Godbolt-এর তৈরি) বাঁ পাশে C++ কোড আর ডান পাশে তার assembly দেখায় — একসাথে কয়েকটি compiler ও version পাশাপাশি রেখে তুলনাও করা যায়। -O0 আর -O2-এ একই কোডের assembly কত আলাদা, বা range-for আর ইনডেক্স-লুপ শেষ পর্যন্ত একই কোড হয় কি না — এসব নিজের চোখে দেখার সবচেয়ে সহজ উপায়। Codeforces, AtCoder বা অন্য অনলাইন জাজে কোড জমা দেওয়ার সময়ও খেয়াল রাখুন কোন compiler আর কোন standard বাছছেন — কনটেস্টের দিক পর্ব ৫০-এ আলাদা করে দেখবেন।

Build system — হাতের কমান্ড যখন আর চলে না

দুই-তিনটি ফাইলে এক লাইনের g++ কমান্ডই যথেষ্ট। কিন্তু ২০০ ফাইল, বাইরের library আর Windows-Linux দুই জায়গায় build — তখন হাতে কমান্ড লেখা অসম্ভব। Build system হিসাব রাখে কোন ফাইল বদলেছে, কোনটি কোন flag-এ compile হবে, আর কী link হবে। C++ জগতে প্রায় মানদণ্ড হয়ে গেছে CMake — সে নিজে compile করে না, বরং প্রতিটি প্ল্যাটফর্মের জন্য Make, Ninja বা Visual Studio-র build ফাইল বানিয়ে দেয়। এক ঝলক দেখুন; পূর্ণ ব্যাখ্যা পর্ব ৪৭-এ:

# CMakeLists.txt (তিন লাইনের মূল অংশ)
#   project(wallet LANGUAGES CXX)
#   set(CMAKE_CXX_STANDARD 23)
#   add_executable(wallet main.cpp wallet.cpp)

cmake -S . -B build        # build ফাইল তৈরি
cmake --build build        # compile + link

৯ · AI-এর যুগে — build নির্দেশনাও যাচাই করুন

AI এখন কোডের সাথে build কমান্ডও লিখে দেয়। সমস্যা হলো, AI আপনার কম্পিউটার দেখতে পায় না — জানে না আপনার OS কোনটি, compiler কোন version, কোন terminal খোলা। ইন্টারনেটের পুরোনো লেখা থেকে শেখা বলে সে প্রায়ই বহু বছর আগের নিয়ম দেয়। কোড যাচাইয়ের মতোই build নির্দেশনা যাচাই করা এখন একটি আলাদা দক্ষতা।

AI সাধারণত যেসব build-ভুল করে

AI-এর দেওয়া build নির্দেশনা হাতে পেলে — চেকলিস্ট

• কমান্ডটি কোন compiler-এর (g++, clang++, না MSVC-র cl), তা চিনতে পেরেছি, আর flag-এর ধরন মিশে যায়নি
• -std= দেওয়া আছে, আর কোডে ব্যবহৃত জিনিস (যেমন std::print) সেই standard-এ আছে
• g++ --version দেখে নিশ্চিত হয়েছি আমার compiler সেই standard সমর্থন করে
• প্রজেক্টের সব .cpp ফাইল কমান্ডে আছে, কোনো .h আলাদা করে compile করতে বলা হয়নি
• -Wall -Wextra দিয়ে compile করে একটিও warning নেই
• নির্দেশনার প্রতিটি flag-এর মানে নিজের ভাষায় বলতে পারি — না পারলে জিজ্ঞেস করেছি