C++

C++の型推論だけでダックタイピングしてみる

C++20の型推論が強力すぎて、「関数テンプレートいらんのやないか？」と思うようになってきた。
戻り値の型も、仮引数の型も、全部autoでダックタイピングができてしまう。（実際はテンプレートに展開されているっぽい）
もうほとんど動的型付け言語じゃないかというような状態。
とはいえ、やりすぎるとデバッグで地獄を見そうな気もする。

#include <iostream>
#include <memory>
#include <string>

struct Dog {
    auto voice() {
        return std::string("wan!");
    }
};

struct Cat {
    auto voice() {
        return std::string("nyaa!");
    }
};

struct Mouse {
    auto voice() {
        return std::string("chuu!");
    }
};

auto cry(auto animal) {
    std::cout << animal->voice() << std::endl;
}

auto main() -> int {
    auto d = std::make_shared<Dog>();
    auto c = std::make_shared<Cat>();
    auto m = std::make_shared<Mouse>();

    cry(d);
    cry(c);
    cry(m);
    
    return 0;
}

[ 戻る ]