如題
先定義一下名詞
bind指的是std::bind
bind object指的是std::bind的return value（standard也沒說他叫甚麼名字，所以我就取這名字了）
g指的是bind object實際會呼叫的function（也就是bind的第一個parameter）
根據C++ standard
如果傳給bind的是reference_wrapper，那最後會用reference的方式傳給g
可是如果傳給bind的不是reference_wrapper（同時也不是bind object與placeholder）
那就會先把argument copy到bind object裡面
而且在bind object呼叫g時，這些data會以l-value的方式傳給g
這樣就會有兩個問題
1.
struct A{};
void test_cpy(A){}
void test_ref(A &){}
int main()
{
A a;
bind(test_cpy,a)(); //copy 2次
bind(test_cpy,ref(a))(); //copy 1次
bind(test_ref,a)(); //copy 1次
bind(test_ref,ref(a))(); //no copy
bind(test_cpy,move(a))(); //move 1次，copy 1次
}
可是實際上，改良後的bind可以是
bind(test_cpy,a)()用reference（bind object）與copy（test_cpy）來取代2次copy
bind(test_ref,a)()用reference（bind object）與reference（test_cpy）來取代1次co
py
bind(test_cpy,move(a))()可以改用move 2次
也可以是
bind(test_cpy,a)()用copy（bind object）與move（test_cpy）來取代2次copy
bind(test_cpy,move(a))()可以改用move 2次
（以上兩種bind是不同的實作方式）
不論是哪種改良後的bind，都比原本的好
為什麼bind要設計成這樣？這樣效能不是有很大問題嗎？
（題外話：bind是從boost那邊來的）
2.
void test_mov(A &&){}
int main()
{
A a;
bind(test_mov,move(a))(); //這邊打什麼，compile都不過通過
}
原因很簡單，bind object在呼叫g的時候，data會用l-value的方式傳給g
結果現在g的parameter是A &&
解法就是把test_move(A &&)改成別的，但是這解法對很多已存在的function是行不通的
所以，bind為什麼要設計成這樣呢？
（bind被引進到standard是C++11的時候，但是C++11最大的改革之一就是move，難道委員
會
我唯一想到的可能原因，就是，bind是要拿來copy整個g的呼叫方式（可以拿來當callbac
k?
可是就算是這原因，那呼叫g的時候
非reference_wrapper的data且g的parameter非l-value reference時也應該用move才對啊
到底是什麼原因，導致bind有這樣奇怪的行為呢？
可能的解法在#1NXvUCDP