externの実装

[kumavale]

#[link(name = "System.Console.dll")]
extern {
    mod System {
        struct Console {}
        impl Console {
            fn WriteLine(_: string) {}
        }
    }
}
#[link(name = "System.Windows.Forms.dll")]
extern {
    mod System {
        mod Windows {
            mod Forms {
                struct DialogResult {}
                struct MessageBox {}
                impl MessageBox {
                    fn Show(text: string) -> DialogResult {}
                }
            }
        }
    }
}
fn main() {
    System::Windows::Forms::MessageBox::Show("hello!");
    System::Console::WriteLine("ok");
}

言語としては物凄く面倒くさい仕様になってしまうが、最終的に外部crateとしてこの部分(System名前空間)を提供すれば使いやすくなるのではないか。

Tasks

• modをネストできるように
• 名前空間のマージ
• to_ilstrでアセンブリ参照と完全パス名を生成できるように
• アセンブリ参照を自動で読み込む（.assembly extern System.Console {}）
  -> extern宣言でpublickeytokenも定義させて、それを元に生成...？

[kumavale]

メモ

• c#に限らないのでexternだけで良い。"C#"は要らない。
• fnの処理内容は書く必要はないため、;で終わりにしたいが、パースの関係上{}でとりあえずokとする。

[kumavale]

.Net側の名前空間も宣言する必要があるなぁ

#[link(name = "System.Console.dll")]
extern {
    mod System {
        struct Console {}
        impl Console {
            fn WriteLine(_: string) {}
        }
    }
}
fn main() {
    System::Console::WriteLine("ok");
}

[kumavale]

こうするとSystem.Console.dllのSystem名前空間とSystem.Windows.Forms.dllのSystem名前空間が別々のNameSpaceとして保存されるからSystem::Windows::Forms::MessageBoxでNameSpaceのfindが上手くいかない。

NameSpaceをマージする機能が欲しい。

#[link(name = "System.Console.dll")]
extern {
    mod System {
        struct Console {}
        impl Console {
            fn WriteLine(_: string) {}
        }
    }
}
#[link(name = "System.Windows.Forms.dll")]
extern {
    mod System {
        mod Windows {
            mod Forms {
                struct DialogResult {}
                struct MessageBox {}
                impl MessageBox {
                    fn Show(text: string) -> DialogResult {}
                }
            }
        }
    }
}
fn main() {
    System::Windows::Forms::MessageBox::Show("hello!");
    System::Console::WriteLine("ok");
    println!("ok");
}

[kumavale]

.ctorはコンストラクタを示す特別なキーワードとしたい。

#[link(name = "System.Drawing.Primitives.dll")]
extern {
    mod System {
        mod Drawing {
            struct Size {
                Width: i32,
                Height: i32,
            }
            impl Size {
                fn .ctor(width: i32, height: i32) -> Size {}
            }
        }
    }
}
fn main() {
    let s: System::Drawing::Size = System::Drawing::Size::.ctor(2, 3);
    assert_eq!(s.Width == 2 && s.Height == 3);
}