C# と VB.NET の質問掲示板

geneic関数をこしらえようとしています。たとえば:

class Calc {
  public static T plus<T>(T x, T y) /* ココ */ {
    return x + y;
  }
}

このままじゃエラーです。
型Tに対し + 演算が定義されていることをコンパイラが知らないので。

なので /*ココ*/ んとこに "Tは足せる" って制約を書かなきゃいかんのですが、
そんなのは定義されていないんでしょうか?

public interface 足せる<T> {
  T add(T value); // 'それ'にvalueを足す
}

class Calc {
  public static T plus<T>(T x, T y) where T : 足せる<T> {
    return x.add(y);
  }
}

これだと int, long, string などなど当然足せて然るべきものに対しplusできません。
なんか手立てはないものでしょうか。

■No7512に返信(渋木宏明(ひどり)さんの記事)
>>いましがた Orcas Sep2006 CTP 落っことしてきてSTL/CLR(旧STL/.NET)を
>>ほんのちょっと触ってみた…ふふふ。
> 
> どーでした？

ほんのちょっとだけ触ってみますた。

#include <cliext/set>
using namespace System;

int main() {
  cliext::set<String^> s;
  s.insert(L"hello");
  s.insert(L"world");
  cliext::set<String^>::iterator it = s.begin();
  while ( it != s.end() ) {
    Console::WriteLine(*it);
    ++it;
  }
}

おー、まんまSTL。 C++フェチにはたまりましぇん♪

> #include ってことは、やはり C++/CLI 専用になっちゃってるぽいですね。

ですねー。
genericsで実装してるかと期待したんですけど、templateでした。なので C++/CLI用。

> 要するに、STL の allocator 周りを CLR 向けに整備したもの？？

ぶっちゃけ"そのとーり"です。
ちょびっと便利なハック(?)がかましてあって:

   // 文字列の長さの和
   int sum = 0;
   cliext::set<String^>::iterator it = s.begin();
   while ( it != s.end() ) {
     sum += it->Length; // [*]
     ++it;
   }

[*]ここんとこ、ホントなら (*it)->Length となるはずのとこを
it->Length でアクセスできるようにしてあります。なるほど。