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

RAIIと確実なcleanup

RAIIはexceptionを含むすべてのscope終了で自動cleanupします。

RAIIと確実なcleanupとは？

RAIIはexceptionを含むすべてのscope終了で自動cleanupします。

Resource lifetimeをobject lifetimeへ結び付けます。

重要なポイント

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

CとC++のコード例

実行 →

main.c

#include <stdio.h>

int main(void) {
    int result = 1;
    FILE *file = fopen("scores.txt", "w");
    if (!file) goto cleanup;
    if (fputs("Ada 95\n", file) < 0) goto cleanup;
    result = 0;

cleanup:
    if (file) fclose(file);
    puts(result ? "failed" : "saved");
    return result;
}

期待される出力

saved

C++

実行 →

main.cpp

#include <fstream>
#include <iostream>

int main() {
    std::ofstream file("scores.txt");
    if (!file) return 1;
    file << "Ada 95\n";
    std::cout << "saved\n";
}

期待される出力

saved

CとC++の比較

Cはcleanup labelですべてのpathからfcloseします。C++ fstreamはdestructorで閉じownershipを局所化します。

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

C++

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

練習課題

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

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