Effective Modern C++勉強会#7 https://github.com/herumi/emcjp/blob/master/readme.md

1. Item 33: lambda内のstd::forwardにはdecltype
Item 34: std::bindよりlambda
emcjp#7 2015/7/14
光成滋生

2. lambdaにautoを使える
この関数は次のようなものだった（Item 3）
normalizeがlvalueとrvalueを区別するならこのコード
は適切でない（lvalueしか渡らないので）
perfect-forwardで渡したい
Item 33: C++14のgeneric lambda
auto f = [](auto x) { return func(normalize(x)); }
struct Lambda {
template<class T>
auto operator()(T x) const {
return func(normalize(x));
}
};
2/9

3. forwardすべき型は何？
xにlvalueとrvalueのどちらが渡されたかはdecltypeで
わかる
答え
xがlvalueに束縛されたらdecltype(x)はlvalue参照
xがrvalueに束縛されたらdecltype(x)はrvalue参照
参照縮約(reference collapsing)でうまくいく
どうやって
auto f = [](auto&& x) {
return func(normalize(std::forward<???>(x)));
}
auto f = [](auto&& x) {
return func(normalize(std::forward<decltype(x)>(x)));
}
3/9

4. ...を使う
可変引数パラメータ
auto f = [](auto&&... x) {
return func(normalize(std::forward<decltype(x)>(x)...));
}
4/9

5. std::bind
std::bind1st, std::bind2ndの後継
入ったがlambdaに比べてメリットは殆ど無い
lambdaの場合
1h, 30sはユーザ定義リテラル
Item 34: std::bindよりlambda
using namespace std::chrono;
using namespace std::literals;
void setAlarm(Time t, Sound s, Duration d);
auto setSoundL = [](Sound s) {
setAlarm(steady_clock::now() + 1h, s, 30s);
}
5/9

6. 間違いその1
bindするときにnow()が呼ばれてしまう
間違いその2
now() + 1hを遅延させる
型を明記しないstd::plus<>()はC++14から
C++11ならstd::plus<steady_clock::time_point>()
テキストも間違えていた（see eratta）
正解（bind3段重ね）
bindは評価タイミングに注意
auto setSoundB = std::bind(setAlarm,
std::bind(std::plus<>(), steady_clock::now(), 1h), _1, 30s);
auto setSoundB=std::bind(setAlarm,steady_clock::now()+1h,_1,30s);
auto setSoundB = std::bind(setAlarm,std::bind(std::plus<>(),
std::bind(steady_clock::now), 1h), _1, 30s);
6/9

7. 関数が追加された
lambdaの場合はそのままうまくいく
bindはコンパイルエラー
std::bindは関数を正しくキャストする必要あり
その他の違い
lambdaは普通の関数で大抵inline化される
bindは関数ポインタを保持(ちょっと非効率かも）
bindは常に値をcopyする。参照にしたいならstd::ref
setAlarmがoverloadされているとき
using SetAlarmType = void(*)(Time t, Sound s, Duration d);
auto setSoundB = std::bind(static_cast<SetAlarmType>(setAlarm),
std::bind(std::plus<>(), steady_clock::now(), 1h), _1, 30s);
void setAlarm(Time t, Sound s, Duration d, Volume v);
7/9

8. moveキャプチャ
C++11のlambdaはmoveキャプチャがない
std::bindと組み合わせるsee Item 32
多態する関数オブジェクト
ただしC++14のautoつきlambdaで解決
bindの利点（レアケース）
struct A {
template<class T>
void operator()(const T& p) const;
};
A a;
auto fB = std::bind(a, std::placeholders::_1);
fB(123); fB(nullptr); fB("test");
// C++14
auto fL = [a](const auto& p) { a(p); };
fL(123); fL(nullptr); fL("test");
8/9

9. Item 33
generic lambdaの中でstd::forwardしたいときは
decltype()を使う
Item 34
C++14ではstd::bindの代わりにlambdaを使う
C++11ではmoveキャプチャと多態する関数オブジェクトで
のみ意味があるかも
まとめ
9/9