編集履歴

質問編集履歴

追記４。

2020/03/21 05:19

投稿

Paalon

スコア266

title CHANGED Viewed

File without changes

body CHANGED Viewed

@@ -182,4 +182,69 @@
 1. 一般的に C++ で想定されている部分型ポリモルフィズムの実現方法がメンバ関数としてのシングルディスパッチであり、それではマルチディスパッチは実現できないということ。
 2. C++ でマルチディスパッチを実現しようとすればできるが、パラメトリックポリモルフィズムが絡んだとき、つまり、配列などのコンテナの要素の型に関して部分型ポリモルフィズムをするときには、`std::variant` を使ったようなコードを書く必要があり、そのあたりのコードがパフォーマンス的によろしくない、もしくは自動的に subtyping された `std::variant` 的なものが作れないためにコードが煩雑であり、現実的でない？どちらにせよ、あまり一般的に（まだ？）使われていない。
-ということなんでしょうか？
+ということなんでしょうか？
+---
+** 追記４ **：
+Julia だと確かに以下のように `if ... else ..` を使ったものでもそうでなくてもコンパイルされた機械語は全く同じです。
+```julia
+mutable struct Dog end
+mutable struct Cat end
+foo(::Dog) = println("Dog")
+foo(::Cat) = println("Cat")
+t = 0
+a = if t == 0 Dog() else Cat() end
+b = Dog()
+@code_native foo(a)
+@code_native foo(b)
+```
+ただ C++ でも等価な機械語になるかどうかは分かりませんが、`if ... else ...` を使ったコードは以下のように書けますよね？
+```cpp
+#include <iostream>
+#include <variant>
+struct Dog {};
+struct Cat {};
+using DogOrCat = std::variant<Dog, Cat>;
+auto foo(Dog const &) {
+    std::cout << "Dog" << std::endl;
+}
+auto foo(Cat const &) {
+    std::cout << "Cat" << std::endl;
+}
+int main() {
+    auto t = 0;
+    auto a = [&] () {
+        if (t == 0) {
+            return DogOrCat(Dog());
+        }
+        return DogOrCat(Cat());
+    } ();
+    std::visit(
+        [] (auto const & x) {
+            foo(x);
+        },
+        a
+    );
+}
+```
+仮想関数テーブルによりシングルディスパッチが可能であることは理解しています。質問はそこではなくて、
+1. 今の例のような `std::variant`, もしくはもっと洗練された何かを使って多重ディスパッチを実現することが可能ではないか？
+2. この実装では 明示的に `DogOrCat` を作成しているが、`Animal` を `Dog` と `Cat` が継承しているときに、自動的にそれに対応する `std::variant` を生成できるのか？
+3. この実装では長ったらしい表現（`std::variant` や `std::visit`）を書かなければいけないが、避けることはできないのか？
+4. この実装のポリモルフィズムは実践的に問題となる点（パフォーマンスやバグ、表現力が不十分であるなど）を抱えているのか？
+5. 上記の点が全てクリアされているならば、Julia と同じぐらいの表現力で多重ディスパッチ可能であると言えるのではないか？
+6. そうであるならばもとの Julia の文章はこの方式によるポリモルフィズムを想定していない or 不適切であるということになるのではないか？
+ということです。