is_cpp0x_lambda_expression meta function をつくろう! (3ページ目)

@okomok typedef typename result_of<func_type()>::type nullary_result_type; をtypedef result_of<func_type()> nullary_result_typeにしたら通りました

2010-09-27 22:07:27

@kikairoya そうするとこんどは本当に引数無しのが呼べなくなります笑

2010-09-27 22:10:21

んーそれはもう一段::typeをどこかで噛ませるようにしないといけないんじゃないかな…どのみちpaperにもresult<f()>::typeはそのようなオーバーロードが無い場合はill-formedだと書いてある [宮崎産を食べよう]

2010-09-27 22:13:23

つまり、nullaryで呼べるかどうかを判定せずにいきなり::typeには出来ない、とするとどこか別のところで一段::typeするか、enable_ifでなんとかするか。 [宮崎産を食べよう]

2010-09-27 22:14:22

oven::ret<bool>( a_lambda )のようなのを作るしかないんじゃないかな。egg::retはオーバースペックだと思うから。 C++0xなら簡単･･･なはず。 is_cpp0x_lambda_expressionみたいなのがあれば対応できますけど

2010-09-27 22:14:34

えーと、これどげんすればよかけ。。。 [宮崎産を食べよう]

2010-09-27 22:16:03

@kikairoya それはill-formedになるかもしれないから、zero-argumentで成功しないといけないって意味です。

2010-09-27 22:18:46

あれ…壮絶な読み間違いをしている？ [宮崎産を食べよう]

2010-09-27 22:19:30

A_LambdaがC++0xラムダならA_Lambda()でvoid返すようresult_ofを部分特殊化すればいいのか？

2010-09-27 22:30:47

まず、std::result_ofの仕様を読もう。

2010-09-27 22:32:13

インスタンス化の経路を追いかけきれない… [宮崎産を食べよう]

2010-09-27 22:33:42

@cpp_akira それができるなら解決策になると思います

2010-09-27 22:38:26

lambda-expressionかどうか判別する方法なんてあるん？ [宮崎産を食べよう]

2010-09-27 22:38:59

"C++0xの"ラムダかを判定するのはムリ。

2010-09-27 22:40:50

あーやっぱ一段::type噛ませられればいいんだよなあ [宮崎産を食べよう]

2010-09-27 22:45:39

そういえば、result_ofはいつの間にか<functional>から<type_traits>に移ったんだよなー、って前にも言ったな。

2010-09-27 22:48:29

std::result_ofの仕様は、完全にdecltype任せになってるからdecltypeの仕様を読まねば。

2010-09-27 22:51:15

std::result_ofの仕様が・・・。

2010-09-27 23:05:15

ぬあーeval_ifばっかりで::typeつけると片っ端からインスタンス化される… [宮崎産を食べよう]

2010-09-27 23:06:50

一段ネスト深くするだけなんだけどなー…どこを深くすればいいのかさっぱりだ [宮崎産を食べよう]

2010-09-27 23:08:03

【急募】 is_cpp0x_lambda_expressionメタ関数【変態のみなさんがんばって＞＜】

2010-09-27 23:08:30