東方算程譚

Intel CnC であそんでみた(そのに)

επιστημη — Sat, 03 Aug 2013 22:49:00 GMT

前回の複利計算。お気づきとは存じますが実はちっとも並列処理やってません。
n-1番step が完了(n-1番itemを出力)するまで n番step は出番がなくて居眠りしてますからね。

もちっとマシな、並列処理をちゃんとやるサンプルをこさえました。毎度おなじみ"ソート"です。

戦術はこんなかんじ:

"範囲[lo,hi) をソートする"

範囲がそこそこ小さいときはフツーに選択ソートを行う
さもなくば、範囲を前半部[lo,mid) と後半部[mid,hi) とに分け、

"範囲[lo,mid) をソートする"
"範囲[mid,hi) をソートする"

ひとつのstepが新たな2つのstepに着火します。
この場合step数がわらわら増えますけど、そいつらの管理/制御は CnC任せ、
動かせるスレッド数に合わせて善きに計らってくれます。

/*
 * Intel Concurrent Collections (CnC)
 * ソート
 */

#include <iostream>
#include <algorithm>
#include <vector>
#include <numeric>
#include <utility>
#include <cnc/cnc.h>

using namespace std;

struct my_context; // forward decl.

struct my_step {
  int execute(const pair<int,int>& range, my_context& ctx) const;
};

struct my_context : public CnC::context<my_context> {
  CnC::step_collection<my_step>      steps;
  CnC::tag_collection<pair<int,int>> tags;
  int                                limit; // これを下回ったら選択ソート
  vector<int>                        data;

  my_context() : steps(*this), tags(*this) {
    tags.prescribes(steps, *this); // tags は steps に 指示する
  }

  void selection_sort(int first, int last) {
    while ( first < last ) {
      iter_swap(data.begin()+first, min_element(data.begin()+first, data.begin()+last));
      ++first;
    }
  }
};

// rangeが示す範囲のデータをソートする
int my_step::execute(const pair<int,int>& range, my_context& ctx) const {
  int lo = range.first;
  int hi = range.second;
#ifdef _DEBUG
  static int steps = 0;
  cout << ++steps << '[' << lo << ',' << hi << ")\n";
#endif

  if ( (hi - lo) < ctx.limit ) {
    // 小さな範囲に対しては選択ソートを行う
    ctx.selection_sort(lo,hi);
  } else {
    // 範囲内のデータを前半/後半に分け、
    int mid = (lo + hi) / 2;
    nth_element(ctx.data.begin()+lo, ctx.data.begin()+mid, ctx.data.begin()+hi);
    // それぞれに対しソートする
    ctx.tags.put(make_pair(lo, mid)); // 前半部に着火
    ctx.tags.put(make_pair(mid, hi)); // 後半部に着火
  }
  return CnC::CNC_Success;
}

int main() {
  const int N = 1000; // データ数
  my_context ctx;
  ctx.limit = 20;

  // N個のデータを用意する
  ctx.data.assign(N, 0);
  iota(ctx.data.begin(), ctx.data.end(), 0);
  random_shuffle(ctx.data.begin(), ctx.data.end());

  ctx.tags.put(make_pair(0,N)); // ソート開始!
  ctx.wait(); // 終わるのを待って

  // 結果を確認する
  if ( is_sorted(ctx.data.begin(), ctx.data.end()) ) {
    cout << "OK!" << endl;
  }
}

Intel CnC であそんでみた(ちょっとだけ)

επιστημη — Sat, 03 Aug 2013 12:39:00 GMT

Intel Concurrent Collections (CnC) ってシロモノを見つけました。

並列化のためのライブラリなんだけど、フツーのたとえば pthread だとか PPL, TBB とは一味違ってます。

CnC が提供する構成要素は大きく3つ:

step : 処理単位
item : stepの入力/出力
tag : stepの着火装置

「tagによって着火されたstepはitemから読み、処理を行い、itemに結果を書く」
が基本構成。

これ使って複利計算をやってみます。
n番itemは"n年目の残高"を表すこととし、n番stepでのおしごとを
「n-1番item を読出し 1+利率を掛けて n番item に書く」とします。
そうすればこいつをN個数珠つなぎにして一気に着火すればN年目までの残高が求まるよね。

/*
 * Intel Concurrent Collections (CnC)
 * 複利計算
 */

#include <iostream>
#include <iomanip>
#include <array>
#include <cnc/cnc.h>

using namespace std;

struct my_context; // forward decl.

struct my_step {
  int execute(const int& n, my_context& ctx) const;
};

struct my_context : public CnC::context<my_context> {
  CnC::step_collection<my_step>    steps;
  CnC::tag_collection<int>         tags;
  CnC::item_collection<int,double> items;
  double                           rate;  // 利率

  my_context() : steps(*this), tags(*this), items(*this) {
    tags.prescribes(steps, *this); // tags は steps に 指示する
    steps.consumes(items);         // steps は items を消費する
    steps.produces(items);         // steps は items を生産する
  }
};

// 前年の残高と利率から本年の残高を求める
int my_step::execute(const int& n, my_context& ctx) const {
  // n 年後の残高は
  double result;
  ctx.items.get(n-1, result); // n-1 年後の残高に
  result *= (1.0 + ctx.rate); // 利率をかけたもの
  ctx.items.put(n, result);   // である
  return CnC::CNC_Success;
}

int main() {
  my_context ctx;
  ctx.rate = 0.05;           // 年利5%の定期預金に
  ctx.items.put(0, 10000.0); // 初年度に1万円預けて
  const int duration = 10;   // 10年間放置するとき

  // 1年後, 2年後, ... 10年後 の残高を求めよ!
  for ( int n = 1; n <= duration; ++n ) {
    ctx.tags.put(n); // ここでstepをkickする
  }
  ctx.wait(); // 終わるのを待って

  // 結果を整列させ
  array<double, duration+1> balances;
  for ( const auto& item : ctx.items ) {
    balances[item.first] = *item.second;
  }

  // 出力する
  for ( const auto balance : balances ) {
    cout << balance << endl;
  }
}

これでできちゃうです。スレッドだのタスクだの考えなくていい。
そーゆーのはCnCの実行エンジンが善きに計らってくれるです。

[C++/CX] ややこしい仕事は裏でやる

επιστημη — Tue, 09 Apr 2013 21:07:00 GMT

非同期処理そのに。
ストアアプリはスレート/タブレット機でも動かさならんのでパフォーマンス重視、重たい処理のおかげでUIが固まるのを嫌います。なので時間のかかる処理はUIとは独立したスレッドでやれ、と。

たとえばフィボナッチ数を求める。

int fibonacci(int n) {
    if ( n < 0 ) n = -n;
    if ( n == 0 || n == 1 ) return 1;
    else {
      return fibonacci(n-1) + fibonacci(n-2);
    }
}

再帰しまくる関数です。ボタンをひとつ追加します。

コマンドの紐付けは前回と同じ。

さて、上記の fibonacci() を裏で動かすには＜ppltasks.h＞を #include し、
using namespace concurrency; した上で create_task() を呼べばいい。
ただし create_task() の引数は Windows::Foundation::IAsyncAction族でなくちゃならん。
create_async() にラムダ式や関数オブジェクトを渡すと IAsyncAction族を作ってくれるので、
そいつを create_task() に渡します。

// ボタン押されたら async_fibonacci() を呼ぶ
ICommand^ CounterModel::Fibonacci::get() {
return ref new Command(ref new Action([this](Object^) { async_fibonacci();}));
}

// フィボナッチ数を求め、表示する
void CounterModel::async_fibonacci() {
    create_task(
                 // カウント値を引数に fibonacci数を求める
    create_async([this]()      { return fibonacci(Count); }))
                 // 答えが出たら表示
    .then       ([this](int n) { set(n); })
    ;
}

create_task() のあと .then( 次にする仕事 ) で処理を裏で続けられます。
C#/VBだと async/await とかいう構文で楽できるらしいけど、C++/CXではこれがお作法。

これまでのマトメとして、プロジェクトまるごとココに置いときます。

[C++/CX] コマンドの紐付け

επιστημη — Sun, 07 Apr 2013 21:30:00 GMT

おつぎはちょっとだけメンドクセーこと。
ボタンのクリックイベント・ハンドラを廃しプロパティに紐付ける。
これができればコード・ビハインドが減るし、MVVMとかゆー小洒落たマネができるとな。

現時点でふたつのボタンのClickイベント・ハンドラを TrialPage.xaml.hおよびcppから取っ払う。
しかるのちボタンのCommand属性を追加。

紐付けたプロパティ:Increment/Decremenet をCounterModelに追加。
プロパティの型は Windows::UI::Xaml::Input::ICommand^ なのでヘッダはこんな:

// --- Countermodel.h
...
[Windows::UI::Xaml::Data::Bindable]
public ref class CounterModel sealed : public Common::BindableBase {
public:
    ...
    property Windows::UI::Xaml::Input::ICommand^ Increment
      { Windows::UI::Xaml::Input::ICommand^ get(); }
    property Windows::UI::Xaml::Input::ICommand^ Decrement
      { Windows::UI::Xaml::Input::ICommand^ get(); }
    void clear();
private:
    void increment();
    void decrement();
    ...
};

cpp側では Windows::UI::Xaml::Input::ICommand を実装したインスタンスを返さにゃならんのだが、そいつがちとばかしメンドーです。
まずヘルパー・クラスを用意する。

// --- CounterModel.cpp
namespace {

delegate void Action(Object^ arg);

ref class Command sealed : ICommand {
public:
    Command(Action^ action) { action_ = action; }
    virtual void Execute(Object^ arg) { action_(arg); }
    virtual bool CanExecute(Object^ arg) { return true; }
    virtual event EventHandler^ CanExecuteChanged;
private:
    Action^ action_;
};

}

んでもって:

// --- CounterModel.cpp
namespace App1 {
...
ICommand^ CounterModel::Increment::get() {
return ref new Command(ref new Action([this](Object^ arg) { increment();}));
}
ICommand^ CounterModel::Decrement::get() {
return ref new Command(ref new Action([this](Object^ arg) { decrement();}));
}
}

「increment()/decrement() を呼び出すラムダ式」から起こした ICommand を返すってスンポーですな。

[C++/CX] Popup Dialog

επιστημη — Sat, 06 Apr 2013 19:13:00 GMT

ストアアプリはキホン全画面なのでいわゆるダイアログの出番がありません。
あるにはあるけど簡単な確認ダイアログの類。こんなの。

座標固定だからこいつの実装は前回のPopupより楽。
前回の Tappedイベントハンドラのナカミを差し替えます。

void App1::TrialPage::txtCount_Tapped(Object^ sender, TappedRoutedEventArgs^ e) {
auto action = [this](IUICommand^ command){ count_.clear(); };
MessageDialog^ msg = ref new MessageDialog(L"クリアして差し上げてもよくってよ");

UICommand^ yesCmd = ref new UICommand(L"おねしゃす",
ref new UICommandInvokedHandler(action));
UICommand^ noCmd = ref new UICommand(L"遠慮します");

// 上記コマンドをダイアログに追加
msg->Commands->Append(yesCmd);
msg->Commands->Append(noCmd);

// デフォルトおよびキャンセル時のコマンド・インデックス
msg->DefaultCommandIndex = 1;
msg->CancelCommandIndex = 1;

// ダイアログ表示
msg->ShowAsync();
}

[C++/CX] PopupMenuを追加する

επιστημη — Fri, 05 Apr 2013 23:43:00 GMT

ストアアプリの鬼門(?)、非同期処理とやらをちょっとばかり。

カウント値をタップすると[クリア」メニューをぺろっと出します。

ともあれCounterModelにclear()メソッドを追加して:

//--- CounterModel.h
[Windows::UI::Xaml::Data::Bindable]
public ref class CounterModel sealed : public Common::BindableBase {
public:
    ...
    void clear();
    ...
};

//--- CounterModel.cpp
...
void CounterModel::clear() {
    value_ = 0;
    OnPropertyChanged(L"Count");
    addLog(L"ちゃら");
}

しかるのち TextBlock に Tapped イベントハンドラを打ち込みます。

イベントハンドラではタップされたコントロールの位置(=PopupMenu表示位置)を求めるヘルパ関数を用意。
MSDNのサンプルコードから拝借しました。

namespace {
Rect GetElementRect(FrameworkElement^ element) {
    GeneralTransform^ buttonTransform = element->TransformToVisual(nullptr);
    const Point pointOrig(0, 0);
    const Point pointTransformed = buttonTransform->TransformPoint(pointOrig);
    const Rect rect(pointTransformed.X, pointTransformed.Y,
                    safe_cast<float>(element->ActualWidth),
                    safe_cast<float>(element->ActualHeight));
    return rect;
}
}

C#/VBではこーゆーのをstaticメソッドにするんだろけども、
C++なら関係ないものは関係ないとこにぽつんと置けるのが潔くてよろしいですな。

んでもってハンドラ本体。
using namespace Windows::UI::Popups; を追加して:

void App1::TrialPage::txtCount_Tapped(Object^ sender, TappedRoutedEventArgs^ e) {
auto action = [this](IUICommand^ command){ count_.clear(); }; // 押されたらクリア
auto menu = ref new PopupMenu();
menu->Commands->Append(ref new UICommand(L"クリア",
ref new UICommandInvokedHandler(action)));
menu->ShowForSelectionAsync(GetElementRect(safe_cast<FrameworkElement^>(sender)));
// ↑ココが非同期。完了を待たずに"するっ"と抜ける。(クリア処理は舞台裏)
}

「C++/CX] C++/CX は C++11/CX なのか?

επιστημη — Wed, 03 Apr 2013 05:23:00 GMT

そゆわけで片方向(データ→コントロール)の紐付けができたところでこれ以上は深入りしないことに。
と言いますのも、僕はストアアプリが書きたいんじゃなく、C++/CXをいぢくり回したいわけで。
C++ならコンソールアプリで済ますわけだがC++/CXだと今んとこストアアプリ限定なもんだから
コンソールI/Oの代替をこしらえたかったってことっす。

んで、ここらへんでそろそろC++11の機能がC++/CXでも活きるのかためしてみんよ。
Visual C++ Compiler 2012 CTP　　http://codezine.jp/article/detail/7061
をインストールしてこんなコードを追加しました。

// ---- VectorWriter.h
#pragma once

#include <sstream>

namespace App1 {

std::wostream& operator<<(std::wostream& stream, Platform::Object^ arg);

class VectorWriter {
public:
    VectorWriter(Windows::Foundation::Collections::IVector<Platform::String^>^ vec) : vec_(vec) {}
    template<typename Tcar, typename ...Tcdr> void write(Tcar head, Tcdr ...tail) { stream_ << head; write(tail...); }
    template<typename ...T> void writeln(T ...args) { write(args...); writeln(); }
    void write() {}
    void writeln();
private:
    std::wostringstream stream_;
    Windows::Foundation::Collections::IVector<Platform::String^>^ vec_;
};

}

// --- VectorWriter.cpp
#include "pch.h"
#include "VectorWriter.h"

namespace App1 {

std::wostream& operator<<(std::wostream& stream, Platform::Object^ arg) {
return stream << arg->ToString()->Data();
}

void VectorWriter::writeln() {
vec_->Append(ref new Platform::String(stream_.str().c_str()));
stream_.str(L"");
}

}

そ。Variadic Templates ね。んでもって CounterModel::addLog() がこーなる:

void CounterModel::addLog(const wchar_t* op) {
    DateTimeFormatting::DateTimeFormatter datefmt(L"shortdate");
    DateTimeFormatting::DateTimeFormatter timefmt(L"shorttime");
    DateTime dt = Calendar().GetDateTime();
    VectorWriter writer(%history_);
    writer.writeln(datefmt.Format(dt), L' ', timefmt.Format(dt), L' ', op);
}

うれしいことに動いてくれちゃったりするわけだ。

C++/CX: データとコントロールの紐付け(そのに)

επιστημη — Sun, 31 Mar 2013 21:24:00 GMT

ついでに値の列を紐付けるよ。

増加/減少した履歴を表示してみる。こんなの。

TrialPage.xamlにListBoxを貼り、ItemsSource属性を "{Binding History}" とします。
TextBlockと同様、"ナカミは紐付け元のHistoryプロパティからもらうよ"てことな。

あとは CounterModelにHistoryプロパティを用意すりゃえぇです。
プロパティの型は Windows::Foundation::Collections::IVector<>
こいつは interface なんで、メンバとしては IVector<>を実装した Vector<> を使うです。

実装はこんなもんでえぇじゃろ。
// --- CounterModel.cpp
#include "pch.h"
#include "CounterModel.h"

using namespace Platform;
using namespace Windows::Globalization;
using namespace Windows::Foundation;
using namespace Windows::Foundation::Collections;

namespace App1 {

CounterModel::CounterModel() : value_(0) {}
int CounterModel::Count::get() { return value_; }
void CounterModel::increment() {
    ++value_;
    OnPropertyChanged(L"Count");
    addLog(L"ふえた");
}
void CounterModel::decrement() {
    --value_;
    OnPropertyChanged(L"Count");
    addLog(L"へった");
}
void CounterModel::addLog(String^ op) {
    DateTimeFormatting::DateTimeFormatter datefmt(L"shortdate");
    DateTimeFormatting::DateTimeFormatter timefmt(L"shorttime");
    Calendar cal;
    DateTime dt = cal.GetDateTime();
    history_.Append(datefmt.Format(dt) + L" " + timefmt.Format(dt) + L" " + op);
}
IVector<Platform::String^>^ CounterModel::History::get() { return %history_; }

}

Vector<>は要素が追加/削除されるたびに勝手に"変更したよー"て通知を紐付け先に飛ばしてくれます。

C++/CX: データとコントロールの紐付け

επιστημη — Sun, 31 Mar 2013 11:48:00 GMT

さてとーちょっくらいぢくるよ。

前回のコード、ここいらへん↓の居心地がよくない。

void App1::TrialPage::btnInc_Click(Platform::Object^ sender, Windows::UI::Xaml::RoutedEventArgs^ e)
{
++count_;
txtCount->Text = count_.ToString();
}

ロジック内に画面の面倒を見る処理が混入してます。できることならカウンタ値を+/-するだけで画面上の値が勝手にぴょこぴょこ更新されるとステキ。それやってみましょ。
データ・バインディングといわれるやつですな。データ束縛と訳されてたりするけども、"束縛"ちゅーとほのかに淫靡な香りが漂います。なんかこーぎりぎりと縛り上げていたぶるみたいで..."紐付け"の方がまだマシな気が。

TrialPage.xaml状にあるTextBlockのText属性を書き換えます:

"{Binding Count}" が「紐付け元にあるCountプロパティの値を置け」ちう意味ですな。
んで、Countプロパティを提供する"紐付け元"をこさえます。

// --- CounterModel.h
#pragma once

#include "Common/BindableBase.h"

namespace App1 { // この名前空間はプロジェクト名に合わせる

[Windows::UI::Xaml::Data::Bindable]
public ref class CounterModel sealed : public Common::BindableBase {
public:
    CounterModel();
    property int Count { int get(); }
    void increment();
    void decrement();
private:
    int value_;
};
}

ここでのキモはふたつ:
- [Windows::UI::Xaml::Data::Bindable] てなアトリビュートを付けること。このクラスは紐付け可能であることを示します。
- Common::BindableBase から導出すること。BindableBaseが紐付けに必要なモロモロを提供してくれるのな。

CounterModel の実装はこんなカンジ。

// --- CounterModel.cpp
#include "pch.h"
#include "CounterModel.h"

namespace App1 { // この名前空間はプロジェクト名に合わせる

}

OnPropertyChanged(L"Count") が"Countプロパティが変更されたよー"と紐付け先に通知してくれます。通知を受けたXAMLさんはそいじゃってんでCountプロパティを読み取って絵ヅラを描き換えるってスンポーです。

TrialPage.xaml.h をちょっとだけいぢり、int count_ を CounterModel^ count_ に取り替えます。

実装側(TrialPage.xaml.cpp)は...

TrialPage::TrialPage()
{
InitializeComponent();
count_ = ref new CounterModel();
DataContext = count_;
}

void App1::TrialPage::btnInc_Click(Platform::Object^ sender, Windows::UI::Xaml::RoutedEventArgs^ e)
{
count_->increment();
}

void App1::TrialPage::btnDec_Click(Platform::Object^ sender, Windows::UI::Xaml::RoutedEventArgs^ e)
{
count_->decrement();
}

コンストラクタでDataCountextをセットすることで紐付け先(XAMLさん)に紐付け元(CounterModel)を教えてあげてます。これで完成。動くハズよ。

C++/CX: はじめてのストアアプリ

επιστημη — Sun, 31 Mar 2013 00:01:00 GMT

C++/CLI の次は C++/CX ですか...

επιστημηといたしましては、C++/CXには少なからず期待しています。
だってアナタ、nativeだっつーじゃないですか。

C++/CLIはmanagedなんでref-classの縛りがキツかったんですわ。ref-class内にnativeなメンバを置けないとかref-classがstd::vectorの要素になれないとか。
対してC++/CXのref-classはnativeだという。ならばC++/CLIでのきっつい縛りが相当緩和されるに違いない、と。
んだもんで遅ればせながらC++/CXでしばらく遊んでみようかと本日突然思い立ったわけですわ。
つってもC++/CXで書けるのはストアアプリだけとのことなんで、まずはC++/CXで遊ぶべくストアアプリに慣れるとこから着手するです。

GUIのお試しに僕が決まって作るのは「Counter」...まずはとにかく雛形を用意するとこから。Windowsストアアプリ:「新しいアプリケーション」を選択。

わしゃわしゃとコードが吐かれ、その中にMainPage.xaml(h,cpp)があるけども、ここで一枚新たなページを作ります。プロジェクト→新しい項目の追加から Windowsストア:「基本ページ」で TrialPage.xaml を吐いてもらいます。なんか見慣れぬダイアログが上がってくるけど構わず[はい]って答えとく。

CounterPageを主ページとすべく、App.xaml.cpp に現れる "MainPage" を "TrialPage" に差し替えます。

ここで一度 build すれば MainPage.xamlなんちゃらは用済みなので削除します。

んでもって CounterPage に TextBlock と Button をふたつ貼り付け、それぞれ txtCount, btnInc, btnDec と命名しました。

ふたつのボタンに Click イベントハンドラをあてがい、TrialPage.xaml.h にある public ref class TrialPage sealed 内に private メンバ int count_ を追加し、TrialPage.xaml.cpp に加筆します:

TrialPage::TrialPage() : count_(0)
{
? InitializeComponent();
}

void App1::TrialPage::btnInc_Click(Platform::Object^ sender, Windows::UI::Xaml::RoutedEventArgs^ e)
{
? ++count_;
? txtCount->Text = count_.ToString();
}

void App1::TrialPage::btnDec_Click(Platform::Object^ sender, Windows::UI::Xaml::RoutedEventArgs^ e)
{
? --count_;
? txtCount->Text = count_.ToString();
}

こんなもんでいいかな、シミュレータで動かしてみましょ。

よしよし。今日はこのへんで勘弁したらぁ。

Variadic Tempalte のスカした定義

επιστημη — Sat, 16 Mar 2013 12:55:00 GMT

C++11 には Variadic Template：可変長テンプレートてーのがあってね、
template＜ココにいくつも型を書ける＞ワケや。　腕試しに tuple をこしらえてみた:

#include <iostream>

// [1] tuple_data
template<int N, typename ...T> struct tuple_data; 

template<int N> struct tuple_data<N> {}; 

template<int N, typename Tcar, typename ...Tcdr> 
struct tuple_data<N, Tcar, Tcdr...> : public tuple_data<N+1, Tcdr...> {
  typedef Tcar type; type value; 
};

template<typename ...T> struct tuple : public tuple_data<0, T...> {};

// [2] tuple_type
template<int N, typename ...T> struct tuple_type; 
template<typename Tcar, typename ...Tcdr> 
struct tuple_type<0, Tcar, Tcdr...> { typedef Tcar type; }; 
template<int N, typename Tcar, typename ...Tcdr> struct tuple_type<N, Tcar, Tcdr...> { 
  typedef typename tuple_type<N-1, Tcdr...>::type type; 
};

// [3] get<N>()
template<int N, typename Tcar, typename ...Tcdr> 
Tcar& get_data(tuple_data<N, Tcar, Tcdr...>& t) { return t.value; }

template<int N, typename ...T>
typename tuple_type<N, T...>::type& get(tuple<T...>& t) { return get_data<N>(t); }

using std::cout;
using std::endl;

int main() {
  tuple<int,long,char> t;
  get<0>(t) = 123;
  get<1>(t) = -456L;
  get<2>(t) = 'A';
  cout << get<0>(t) << get<1>(t) << get<2>(t) << endl; 
}

んーむ...[2] んトコがカッコよくない。 get＜n＞が返す型がほしいってだけのために tuple_type を定義せんならんのがね。

ぐちゅぐちゅと格闘して数時間、コタエを見つけました。

template<int N, typename ...T> struct tuple_data;
template<int N> struct tuple_data<N> {};

template<int N, typename Tcar, typename ...Tcdr>
struct tuple_data<N, Tcar, Tcdr...> : public tuple_data<N+1, Tcdr...> {
  Tcar value;
};

template<typename ...T> struct tuple : public tuple_data<0, T...> {};

template<int N, typename Tcar, typename ...Tcdr>
Tcar& get_tuple_data(tuple_data<N, Tcar, Tcdr...>& t) { 
  return t.value; 
}

template<int N, typename ...T>
auto get(tuple<T...>& t) -> decltype( get_tuple_data<N>(t) ) { // <- こんだけで tuple_type 不要!
  return get_tuple_data<N>(t); 
}

int main() {
  tuple<int,char,long> t;
  get<0>(t) = 123;
  get<1>(t) = 'A';
  get<2>(t) = -456L;
  std::cout << get<0>(t) << get<1>(t) << get<2>(t) << std::endl;
}

decltypeすげー

Visual C++ 11 のおっかないイテレータ

επιστημη — Fri, 11 Jan 2013 04:46:00 GMT

Visual C++ 11 の新しい機能のひとつに
「SCARY iterator(おっかないイテレータ)」てーのを見つけましてね。
なんじゃそりゃ? ってんで調べてみた。

#include <iostream>
#include <functional>
#include <set>
#include <typeinfo>

using namespace std;

int main() {
  set<int,less<int>>    a;
  set<int,greater<int>> b;
  cout << typeid(a.begin()).name() << endl;
  cout << typeid(b.begin()).name() << endl;
}

コレ↑をvc10(Visual Studio 2010) で実行すると:
class std::_Tree_const_iterator<class std::_Tree_val<class std::_Tset_traits<int,struct std::less<int>,class std::allocator<int>,0> > >
class std::_Tree_const_iterator<class std::_Tree_val<class std::_Tset_traits<int,struct
std::greater<int>,class std::allocator<int>,0> > >

イテレータ型の中に比較オブジェクト(とアロケータ)が埋め込まれてて、両者は別物です。

一方vc11(Visual Studio 2012)だと:
class std::_Tree_const_iterator<class std::_Tree_val<struct std::_Tree_simple_types<int> > >
class std::_Tree_const_iterator<class std::_Tree_val<struct std::_Tree_simple_types<int> > >

両者の型は同じなの。
ってことは、要素の型が同じなら(比較オブジェクト/アロケータがどうであれ)ひとつのイテレータを使いまわせます。

set<X,なんやら> a;
set<X,かんやら> b;
set<X>::iterator iter;
iter = a.begin(); // ok
iter = b.begin(); // ok

...なるほどね。
ときにこの" SCARY"なんだが、これの書かれたドキュメントN2980によると:

N2911 explains that the acronym SCARY “describes assignments and initializations that are Seemingly erroneous (Constrained by conflicting generic parameters), but Actually work with the Right implementation (unconstrained bY the conflict due to minimized dependencies).”
ぱっと見マチガイみたいだけどちゃんと動くからいいじゃない

てゆー、めちゃめちゃ苦しいアクロニムなんだとさ。

今年もよろしくお願いいたしまするー

επιστημη — Tue, 01 Jan 2013 16:45:00 GMT

Microsoft MVP for Visual C++
今年もいただきましたですよ。
これでまた一年、エラソーな顔していられます。

2004年に在りし頃のC-magazine編集さんに推薦もらっての受賞以来、
なんだかんだで１０年連続、我ながらスゴイネー♪

面白そげな言語やらライブラリやらちびちびつまみ食いしつつも、
キホンC++でゆるーく遊んでいけたらいいなーと。

んでもって「ええ歳こいたじじぃがなんかおもろいことやっとるなー」と、
若い衆の刺激になれば幸甚ﾅﾘ。

Hit&Blow お化粧直し

επιστημη — Fri, 28 Dec 2012 01:55:00 GMT

んーと、これでちっとはC++らしくなったかな。

#include <iostream>
#include <string>
#include <array>
#include <vector>
#include <algorithm>
#include <utility>
#include <iterator>

using namespace std;

const int N = 3;

// N桁の数
typedef array<int,N> number;

ostream& operator<<(ostream& stream, const number& n) {
  for_each(begin(n),end(n),[&](int n) { stream << n;});
  return stream;
} 

// Hit/Blowの組
typedef pair<int,int> hb;

ostream& operator<<(ostream& stream, const hb& h) {
  return stream << h.first << "Hit / " << h.second << "Blow";
} 

// 出題者
class contributor {
  friend class referee;
public:
  contributor(number a) : answer(a) {}
private:
  number answer;
};

// 審判員
class referee {
public:
  // 重複のないことを確認する
  static bool isnot_duplicated(number n) {
    sort(begin(n),end(n));
    return unique(begin(n),end(n)) == end(n);
  }
  // hit/blow数を勘定する
  static hb judge(const number& actual, const number& guess) {
    int hit = 0;
    int blow = 0;
    for ( int i = 0; i < N ; ++i ) {
      for ( int j = 0; j < N; ++j ) {
        if ( actual[i] == guess[j] ) {
          if ( i == j ) ++hit; else ++blow;
        }
      }
    }
    return hb(hit,blow);
  }
  static hb judge(contributor& con, const number& guess) {
    return judge(con.answer, guess);
  }
};

// 解答者
class solver {
private:
  typedef pair<number,hb> hint;
public:
  solver() {
    init_candidates();
  }
  // hintを追加する
  void add_hint(number n, hb h) {
    hints.push_back(hint(n,h));
  }
  // 候補の中から答案をひとつ返す
  number submit() {
    think();
    random_shuffle(begin(candidates),end(candidates));
    return candidates.back();
  }
  // 候補の数を返す
  int n_candidates() const {
    return candidates.size();
  }
private:
  // 1～9から重複なくN個選び、候補を列挙する。
  void init_candidates() {
    array<bool,9> bits;
    fill(begin(bits),end(bits),false);
    fill_n(begin(bits), N, true);
    do {
      int c = 0;
      number tmp;
      for ( int i = 0; i < 9; ++i ) {
        if ( bits[i] ) tmp[c++] = i+1;
      }
      do {
        candidates.push_back(tmp);
      } while ( next_permutation(begin(tmp),end(tmp)) );
    } while ( prev_permutation(begin(bits),end(bits)) );
  }
  void think() {
    // 候補の中から、これまでに得られたhintと矛盾があるものを除外する
    candidates.erase(
      remove_if(begin(candidates),end(candidates),
                [&](number n) { 
                  return any_of(begin(hints),end(hints),
                                [&](hint h) { 
                                  return referee::judge(n,h.first) != h.second;
                                });
                }), 
                end(candidates));
  }
  vector<number> candidates; // 候補
  vector<hint> hints; // もらったヒント
};

int main() {
  number answer;
  while ( true ) {
    cout << "各桁が1～9である" << N << "桁の数を入力してほしい。各桁で数が重複するのは避けてくれ" << endl;
    string str; cin >> str;
    const string digits = "123456789";
    if ( str.size() == N && 
         all_of(begin(str),end(str),[&](char c) { return digits.find(c) != string::npos;}) ) {
      transform(begin(str), end(str), begin(answer), [](char c) { return c - '0';});
      if ( referee::isnot_duplicated(answer) ) break;
    }
  }    
  cout << "君が選んだのは " << answer << " だね。";
  contributor con(answer);
  solver      sol;
  cout << "では僕がその数を推理しよう。" << endl;

  int trial = 0;
  while ( true ) {
    // 候補の中からひとつ選ぶ
    cout << ++trial << "回目："
         << " 正解となる数の候補は " << sol.n_candidates() << " あるが... ";
    number candidate = sol.submit();
    cout << candidate << " ではないかな?" << endl;

    // 結果を判定。 正解ならばloopを抜ける
    hb result = referee::judge(con, candidate);
    cout << result << endl;
    if ( result.first == N ) break;

    // 判定結果をhintsに追加する
    sol.add_hint(candidate,result);    
  }
}

Visual Studio 2012 Nov.CTP : Explicit conversion operators

επιστημη — Mon, 24 Dec 2012 11:22:00 GMT

こんなの↓書いたとするわな:

#include <iostream>
using namespace std;

class negative {
public:
negative(int v) : value_(v) {}
operator bool() const { return value_ < 0; } // [*]
private:
int value_;
};

int main() {
negative neg(-3);
cout << boolalpha << neg + 123 << endl;　// おっと、errorにはならんのか。
}

問題は neg + 123 のとこ。 neg がoperator bool() で変換され、さらに0/1に変換されてまう。

C++11ではoperator ほげほげ() に　'explicit' を付けることで暗黙の型変換を抑止できるようになりました。
[*] のトコを explicit operator bool() const { return value_ < 0; } とすることで、neg + 123 の箇所で:

error C2678: binary '+' : no operator found which takes a left-hand operand of type 'negative' (or there is no acceptable conversion)
could be 'built-in C++ operator+(bool, int)'
while trying to match the argument list '(negative, int)'

なんてなエラーを吐いてくれるです。

東方算程譚

Intel CnC であそんでみた(そのに)

Intel CnC であそんでみた(ちょっとだけ)

[C++/CX] ややこしい仕事は裏でやる

[C++/CX] コマンドの紐付け

[C++/CX] Popup Dialog

[C++/CX] PopupMenuを追加する

「C++/CX] C++/CX は C++11/CX なのか?

C++/CX: データとコントロールの紐付け(そのに)

C++/CX: データとコントロールの紐付け

C++/CX: はじめてのストアアプリ

Variadic Tempalte のスカした定義

Visual C++ 11 の おっかないイテレータ

今年もよろしくお願いいたしまするー

Hit&Blow お化粧直し

Visual Studio 2012 Nov.CTP : Explicit conversion operators

Visual C++ 11 のおっかないイテレータ