モダンC++とCでの代替手法

関数overloadとCでの代替

C++はparameter typeからoverloadを選び、Cは別名やgeneric dispatchを使います。

関数overloadとCでの代替とは？

C++はparameter typeからoverloadを選び、Cは別名やgeneric dispatchを使います。

複数typeへ同じ概念のoperationを使います。

重要なポイント

先にCの仕組みを理解します。
RAIIとvalue semanticsでownershipを表現します。
macroやcastよりtype-safeな抽象化を選びます。

CとC++のコード例

実行 →

main.c

#include <stdio.h>

int max_int(int left, int right) {
    return left > right ? left : right;
}

double max_double(double left, double right) {
    return left > right ? left : right;
}

int main(void) {
    printf("%d %.1f\n", max_int(3, 8), max_double(4.5, 2.0));
}

期待される出力

8 4.5

C++

実行 →

main.cpp

#include <iostream>

int maximum(int left, int right) {
    return left > right ? left : right;
}

double maximum(double left, double right) {
    return left > right ? left : right;
}

int main() {
    std::cout << maximum(3, 8) << ' '
              << maximum(4.5, 2.0) << '\n';
}

期待される出力

8 4.5

CとC++の比較

Cは関数名へtypeを含めます。C++は同名のままcompile時に解決しruntime costがありません。

Cはprefix、callback、macro、context構造体を使います。

C++

言語機能がscope付きtype-safeな抽象化を提供します。

練習課題

両方を実行して変更し、言語ごとの保証を確認します。

最初にCの仕組みを書きます。
手動cleanupをRAIIに置き換えます。
allocationとvirtual dispatchを確認します。