C++/CLI

Visual Studio 2012　のほんのりトホホなとこ。

επιστημη — Tue, 13 Nov 2012 19:50:00 GMT

ホントだー、C++/CLIで Windows-Form アプリがつくれなくなってるー。
要らんっちゃー要らんけども、消えちゃうのはさみしぃわぁ。
あたしゃC#もボチボチ触るからお絵描きはC#・ナカミはC++・仲介役にC++/CLI
てゆー選択すんだけども、確かにめんどっちーのねー...

Visual Studio 11 から本気出す! WPF with C++/CLI

επιστημη — Sat, 28 Apr 2012 23:51:00 GMT

レビューやらせていただきましたよ。
んで、せっかくだから「周回遅れにもほどがあんぞｦｲ」なWPFに手を付けます。
いやね、Visual Studio 11でよぅやっとC++/CLIのインテリセンスが復活してくれたんで、
ﾏﾝﾄﾞｸｾｰことやる気になったっちゅーのが本音。
てかさ、WPFアプリケーションてばC++の出番ナシなのが癪に障るんで、
ひな形生成だけをC#にやらせ、残りはぜーんぶC++/CLIで書いてみるココロミ。

おためしにこしらえたのは毎度毎度のカウンター。
「3.2.3 視覚的デザインツールの利用」にあったMVVMをほとんどそのままパクらせてもらいました。

<Window x:Class="DataBindingSample.MainWindow"
        xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
        xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
        Title="データ バインディング サンプル" Width="193" SizeToContent="Height" Height="157">
    <StackPanel>
        <TextBox Text="{Binding Count}" FontSize="36" FontWeight="Bold" TextAlignment="Center" />
        <Button Content="+" Command="{Binding IncCommand}" />
        <Button Content="-" Command="{Binding DecCommand}" />
    </StackPanel>
</Window>

XAMLはこんな↑カンジね、表示とボタンをそれぞれ CountとIncCommand/DecCommandにバインドしてます。
以降C#からはしばらくオサラバ、C++/CLIでCLRクラスライブラリを用意して参照させます。
ViewModel がコレ↓

#ifndef MAINWINDOWVIEWMODEL_H__
#define MAINWINDOWVIEWMODEL_H__

namespace DataBindingSample {

  public ref class MainWindowViewModel : public System::ComponentModel::INotifyPropertyChanged {
  public:
    property int Count {
      int get();
      void set(int value);
    }

    virtual event System::ComponentModel::PropertyChangedEventHandler^ PropertyChanged;

    void attachCommand(System::Action<Object^>^ inc, System::Action<Object^>^ dec);
    void Update(int count);

    property System::Windows::Input::ICommand^ IncCommand 
      { System::Windows::Input::ICommand^ get(); }
    property System::Windows::Input::ICommand^ DecCommand 
      { System::Windows::Input::ICommand^ get(); }

  private:
    int _Count;
    System::Windows::Input::ICommand^ incCommand;
    System::Windows::Input::ICommand^ decCommand;
  };
 
}

#endif

attachCommandでView(のIncCommand/DecCommand)からModelに、
UpdateでModel（のカウント値変更)をViewに飛ばします。

カウンタ本体:Counter と ViewModelに接続するための CounterModel はそれぞれ:

#ifndef COUNTER_H__
#define COUNTER_H__

namespace DataBindingSample {

  public ref class Counter {
  public:
    void inc();
    void dec();
    int count();

  private:
    int count_;
  };

  public ref class CounterModel : Counter {
  public:

    // Model→ViewModel
    event System::Action<int>^ CountUpdatedHandler;

    // ViewModel→Model 
    property System::Action<Object^>^ Increment { System::Action<Object^>^ get(); }
    property System::Action<Object^>^ Decrement { System::Action<Object^>^ get(); }

  private:

    void Notify();

    void inc(Object^ dummy);
    void dec(Object^ dummy);

  };

}

#endif

CountUpdateHandlerとIncrement/Decrement がViewModelとの接続ポートになってます。

んでもって MainWindow, MainWindowViewModel, CounterModel をがしゃがしゃ繋ぐトコ
をC#側にねじ込みます。 MainWindowViewModel と CounterModel は App のstaticメンバ
にしちゃいました。

/* 
 * App.xaml.cs
 */
using System.Windows;

namespace DataBindingSample {

  public partial class App : Application {

    public static MainWindowViewModel ViewModel {
      get { 
        if ( viewmodel_ == null )
          viewmodel_ = new MainWindowViewModel();
        return viewmodel_;
      }
    }

    public static CounterModel Model {
      get {
        if ( model_ == null )
          model_ = new CounterModel();
        return model_;
      }
    }

    public static MainWindowViewModel viewmodel_;
    public static CounterModel model_;
  }

}

/*
 * MainWindow.xaml.cs
 */
using System.Windows;

namespace DataBindingSample {

  public partial class MainWindow : Window {
    public MainWindow() {
      InitializeComponent();
      this.DataContext = App.ViewModel;
      App.ViewModel.attachCommand(App.Model.Increment, App.Model.Decrement);
      App.Model.CountUpdatedHandler += App.ViewModel.Update;
    }
  }

}

C++/CLI側の実装(.cpp)は割愛。ソリューションまるごとうｐするから読んでやって。

白状すればMVVMってハジメテなの。おもきし我流だし。ｶﾞｽｶﾞｽ突っ込んでやってくだせ。

stateless lambda (そのさん)

επιστημη — Tue, 27 Mar 2012 22:41:00 GMT

stateless lambda は関数ポインタに暗黙変換できるっちゅーんだから、
delegateだって作れるはずよね...

#include <iostream>

using namespace System;
using namespace std;

public ref class Counter {
public:
  delegate void OnUpdate(Counter^ counter);
  Counter() : value_(0) {}
  void incr() { ++value_; handler(this); }
  property int count { int get() { return value_; }}
  event OnUpdate^ handler;
private:
  int value_;
};

void print_fun(Counter^ counter) {
  cout << counter->count << endl;
}

int main() {
  Counter^ counter = gcnew Counter();
  auto print_lambda = [](Counter^ counter) { cout << counter->count << endl; };
  counter->handler += gcnew Counter::OnUpdate(print_fun);    // OK
  counter->handler += gcnew Counter::OnUpdate(print_lambda); // error
  counter->incr();

  return 0;
}

...ダメでした orz
くやしいのでConnectにfeedbackしたです。　voteしてくれさい。

Visual Studio 11 Developer Preview

επιστημη — Thu, 15 Sep 2011 21:20:00 GMT

MSDNに上がってたわけよ、次期Visual Studio がっ

リリースノートによれば現VS2010と同居できるけど、un-install時に悪さをしかねんらしく、
大事をとってVirtualPC上にWin7起こしてそん中でインスコしてみたです。
# 対応OSにXP/Vistaが入ってなかったですよ。

おや、Visual Studio 2011 じゃないのね。
んなこたどーでもよくて、C++/CLIにインテリセンス復活ですよきゃっほーい♪

たまにはMVPらしいこと書いてみるテスト

επιστημη — Sun, 28 Nov 2010 03:19:00 GMT

blogの更新がとんとご無沙汰してます。すんませんねー
なんかもー、本業でわたわたしてまして、おうち帰るとメシ食ってばたんきゅ、な日が続いてますのん。
わんくま東京勉強会も顔ださなくなっちゃいました。もーちょいで楽になるハズなんですけども。

先日MVP Open Dayにお邪魔しました。百名を超えるMVPのみなさんが顔を合わせ、新人MVPをいぢくり回す会ですわ(ﾎﾎﾎ
久しぶりにMVPのみなさんと顔をあわせ、ちょっとだけ元気をもらえたように思います。ありがとでした。

ちょっとだけ元気もらった勢いでVC++10のlambdaのカラクリを推測するｺｺﾛﾐなど。

#include <iostream>
#include <typeinfo>

int main() {
int n;
auto lambda = [=](void* p) {
std::cout << p << '\t' << (void*)&n << std::endl;
};
int m;
lambda(&n);
lambda(&lambda);
lambda(&m);

std::cout << typeid(lambda).name() << std::endl;
}

こいつをコンパイル/実行すると
0028FDFC        0028FE00
0028FE00        0028FE00
0028FDF8        0028FE00
class `anonymous namespace'::<lambda0>

興味深い結果が得られました。どうやらメモリ上には:

0028FDF8: m
0028FDFC: n
0028FE00: lambda と lambda内のn

なんてなレイアウトでローカル変数が作られた様子。
n と lambda内のn とが異なる位置にあります。この二つは別物として扱われてるてことね。
値キャプチャされたnはlambda内で書き換えられないからくりがココにあるみたい。
また、lambdaとlambda内のnとが同じ位置にあること、lambdaの型がclassであることからしてlambda内のnはclassの最初のメンバとなってるポ。

してみるとコンパイラ君、おそらくはこんなコードを内部的に生成するのでしょう:

namespace {
class lambda0 {
    int n_; // 値キャプチャしたn
public:
    lambda0(int captured_var) : n_(captured_var) {}
    void operator()(void* p) {
      std::cout << p << '\t' << (void*)&n_ << std::endl;
    }
}
}

int main() {
int m;
int n;
lambda0 lambda(n);
lambda(&n);
lambda(&lambda);
lambda(&m);

std::cout << typeid(lambda).name() << std::endl;
}

lambda式を定義するたんびにnanonymousな名前空間にｺｿｰﾘclassを生成するのであれば、
C++/CLIでmanagedな変数をキャプチャできないことが説明つくです。class内にはmanagedは置けないもんね。

あと少し...だと思うんだけどねぇ

επιστημη — Fri, 11 Dec 2009 16:22:00 GMT

.NET Framework 4.0 には TPL(Task Parallel Library) ゆーのんが
追加されてて、mscorelib に入ってるらしいから C++/CLI でも使えるはずよね。


void print(int x) {
  System::Console::Write(L"{0} ",x);
}

int main() {
  System::Threading::Tasks::Parallel::For(0,200,
    gcnew System::Action<int>(&print));
}

おぉ、動く動く。けどね、できることなら Parallel.For の中に書き下したいわけよ。
Parallel::For(0, 200, [](int x) { System::Cosnole::Write(L"{0} ", x);});
みたいにさ。

なんとかならんもんかのぉ...

こいつも動くぞ

επιστημη — Wed, 04 Nov 2009 09:13:00 GMT

ネタ元 → こいつ動くぞ

わんくまで僕が最初にやったセッションのネタにカブり気味っす。


#include <iostream>

template<typename T>
void print(T arg) {
#ifdef __cplusplus_cli
  System::Console::WriteLine(arg);
#else
  std::cout << arg << std::endl;
#endif
}

int main() {
  print("Hello" + 1);
}

これ、C++としてコンパイルしたときと
C++/CLIとしてコンパイルしたときでは
結果が異なるですよ。

「C++とコンパチじゃねぇ!」ってんで
C++/CLIがISO標準になれなかった一因でございます。

C++/CLIでlambda

επιστημη — Tue, 27 Oct 2009 21:56:00 GMT

lambda式の引数に(マニュアルではできるってゆってるにもかかわらず) managed-object
が渡せないっちゅー不具合があったのですが、Visual Studio 2010β2 で解決した模様。

これでC++/CLIでもlamdaが使えるようになったワケですが、
lambdaの重要な機能:キャプチャについては依然としてmanaged-object
をキャプチャできない。

そこで、だ。maneged-objectはダメでもnativeならOKなわけで、
そんじゃってんでgcrootで managedにnativeのカワをかぶせてみた。


// compile with: /clr
#include <msclr/gcroot.h>

using namespace System;

int main()
{
    msclr::gcroot<String^> capture = L" be captured";
    String^ result = 
    [&] (String^ arg) -> String^
        { String^ tmp = arg + capture; capture = L"changed in lambda!"; return tmp; }("will");
    Console::WriteLine(L"result[{0}] capture[{1}]", result, capture);
}

おー、でけたー。

生産者と消費者

επιστημη — Wed, 16 Sep 2009 10:05:00 GMT

ネタ元 → 並列プログラミングの効率的なデバッグを実現する「Parallel Inspector」

# 記事の本筋とは離れるのでネタ元にコメントするのは差し控えるけども。
このサンプル、ひとつの変数に複数のスレッドからアクセスするときの
問題を示しているわけだが、いわゆる「生産者/消費者(producer/consumer)」の
イディオムにはなってねぇ!

生産者/消費者パターンちうのは:
- 生産者は製品を製造し棚に並べる。棚が一杯なら空くまで待つ。
- 消費者は製品を棚から取る。棚が空なら品出しを待つ。
生産者スレッドの生産能力と消費者スレッドの購買能力には
バラつき/ムラがあり、そのバラつきを吸収するのが棚(在庫)なんだが、
棚の容量には限りがあるのでたまにどちらかが待つことになります。

MSDN漁ってみたらばまさにドンピシャなサンプルがありました。
方法 : producer スレッドと consumer スレッドを同期する (C# プログラミングガイド)

ここんとこC++/CLIから離れてたのでリハビリがてらportしてみた。
※ C++/CLI には lock 構文を持ち合わせてないんで、MonitorのEnter/Exitで代用

using namespace System;
using namespace System::Threading;
using namespace System::Collections::Generic;

// 同期イベント: 「アイテムが追加された」と「終了しろ」
public ref class SyncEvents {
public:
SyncEvents() {
    eventArray_    = gcnew array<EventWaitHandle^>(2);
    eventArray_[0] = gcnew AutoResetEvent(false);
    eventArray_[1] = gcnew ManualResetEvent(false);
}

property EventWaitHandle^ ExitThreadEvent // 「終了しろ」
    { EventWaitHandle^ get() { return eventArray_[1]; } }
property EventWaitHandle^ NewItemEvent // 「アイテムが追加された」
    { EventWaitHandle^ get() { return eventArray_[0]; } }
property array<EventWaitHandle^>^ EventArray // ふたつまとめて
    { array<EventWaitHandle^>^ get() { return eventArray_; } }

private:
// eventArray_[0]:「アイテムが追加された」
// eventArray_[1]:「終了しろ」
array<EventWaitHandle^>^ eventArray_;
};

/*
* 生産者
*/
public ref class Producer {
public:
Producer(Queue<int>^ q, SyncEvents^ e) : queue_(q), syncEvents_(e) {}

// Producer.ThreadRun
void ThreadRun() {
    int count = 0;
    Random r;
    // 「終了しろ」でない間、Queueにアイテムを追加する
    while (!syncEvents_->ExitThreadEvent->WaitOne(0, false)) {
      Object^ sync = ((System::Collections::ICollection^)queue_)->SyncRoot;
      Monitor::Enter(sync);
      try {
        while ( queue_->Count < 20 ) { // 倉庫に余裕がある間
          queue_->Enqueue(r.Next(0,100)); // アイテムを追加して
          syncEvents_->NewItemEvent->Set(); // 「アイテムが追加された」イベント発行
          count++;
        }
      } finally {
        Monitor::Exit(sync);
      }
    }
    Console::WriteLine(L"Producer thread: produced {0} items", count);
}

private:
Queue<int>^ queue_;
SyncEvents^ syncEvents_;
};

/*
* 消費者
*/
public ref class Consumer {
public:
Consumer(Queue<int>^ q, SyncEvents^ e) : queue_(q), syncEvents_(e) {}

// Consumer.ThreadRun
void ThreadRun() {
    int count = 0;
    // イベント:「終了しろ」「アイテムが追加された」のいずれかを待ち、
    // そのイベントが「終了しろ」でない間
    while (WaitHandle::WaitAny(syncEvents_->EventArray) != 1) {
      Object^ sync = ((System::Collections::ICollection^)queue_)->SyncRoot;
      Monitor::Enter(sync);
      try {
        int item = queue_->Dequeue(); // アイテムを取り出す
      } finally {
        Monitor::Exit(sync);
      }
      count++;
    }
    Console::WriteLine(L"Consumer Thread: consumed {0} items", count);
}

private:
Queue<int>^ queue_;
SyncEvents^ syncEvents_;
};

/*
* 生産者/消費者を起こすメイン・スレッド
*/
public ref class ThreadSyncSample {
private:
// 在庫(Queue)の内容をダンプ
static void ShowQueueContents(Queue<int>^ q) {
    Object^ sync = ((System::Collections::ICollection^)q)->SyncRoot;
    Monitor::Enter(sync);
    try {
      for each (int item in q ) {
        Console::Write(L"{0} ", item);
      }
    } finally {
      Monitor::Exit(sync);
    }
    Console::WriteLine();
}

public:
static void Main() {
Queue<int> queue = gcnew Queue<int>();
SyncEvents syncEvents;

    // 生産者/消費者を生成し、それぞれのエントリでスレッドを用意
    Console::WriteLine(L"Configuring worker threads...");
    Producer producer(%queue, %syncEvents);
    Consumer consumer(%queue, %syncEvents);
    Thread producerThread(gcnew ThreadStart(%producer, &Producer::ThreadRun));
    Thread consumerThread(gcnew ThreadStart(%consumer, &Consumer::ThreadRun));

    // 両スレッドを開始
    Console::WriteLine(L"Launching producer and consumer threads...");
    producerThread.Start();
    consumerThread.Start();

    // たまにQueueをダンプ
    for (int i=0; i<4; i++ ) {
      Thread::Sleep(2500);
      ShowQueueContents(%queue);
    }

    // 「終了しろ」イベントを起こす
    Console::WriteLine(L"Signaling threads to terminate...");
    syncEvents.ExitThreadEvent->Set();

    // 両スレッドの終了を待つ
    producerThread.Join();
    consumerThread.Join();
}

};

int main() {
ThreadSyncSample::Main();
}

VS2010β : ラムダ式はmanagedでも使えんのけ?

επιστημη — Mon, 29 Jun 2009 15:59:00 GMT

VS2010β のC++はラムダ式をサポートしてくれよるワケだが、
ラムダ式はC++/CLIでも使えるんだろか....やってみた。

#include <cliext/vector>
#include <cliext/algorithm>

int main(){
    cliext::vector<System::String^> v;
    v.push_back(L"ラム");
    v.push_back(L"ダっちゃ!");
    cliext::for_each(v.begin(), v.end(),
      [](System::String^ s) { System::Console::Write(s);});
}

結果:
error C3498: 's': you cannot capture a variable that has a managed type
　→ managed型の変数をキャプチャすんなやｺﾞﾙｧ

だそうですヽ(`Д´)ﾉｳﾜｧｧｧﾝ
目下のところ、ラムダ諦めて↓こーするっきゃなさげ。

namespace {
struct print {
    void operator()(System::String^ s) const {
      System::Console::Write(s);
    }
};
}

int main(){
    cliext::vector<System::String^> v;
    v.push_back(L"ラム");
    v.push_back(L"ダっちゃ!");
    cliext::for_each(v.begin(), v.end(), print());
}

System::Int32とか、C++native型とコンパチならば許してくれるみたいですが...

int main(){
    cliext::vector<System::Int32> v;
    v.push_back(123);
    v.push_back(456);
    cliext::for_each(v.begin(), v.end(),
                     [](System::Int32 n) { System::Console::Write(n);});
}

しょぼーん (´・ω・)