Warum kann ich keine Bindung constexpr?

Question

Also sagen, dass ich einige constexpr Funktoren machen möchte, obwohl ich dies mit bind tun könnte. Gibt es etwas, das mir fehlt? Warum kann bind keine constexpr zurückgeben?

Gegeben:

struct foo { 
    int b() const { return _b; } 
    int a() const { return _a; } 
    int r() const { return _r; } 
    const int _b; 
    const int _a; 
    const int _r; 
}; 

Ich möchte:

constexpr auto sumB = bind(plus<int>(), placeholders::_1, bind(&foo::b, placeholders::_2)); 
constexpr auto sumA = bind(plus<int>(), placeholders::_1, bind(&foo::a, placeholders::_2)); 
constexpr auto sumR = bind(plus<int>(), placeholders::_1, bind(&foo::r, placeholders::_2)); 

Gibt es etwas, das ich diese Arbeit zu machen tun könnte?

Answer 1

Es gibt kein technisches Hindernis zu machen bind constexpr tun; zum Beispiel haben die Sprout C++ Libraries eine constexpr-enabled bind.

Jedoch implementations are not permitted to add constexpr to function signatures where it is not specified in the Standard, und es gab noch keinen Vorschlag, constexpr zu bind hinzuzufügen, die ich kenne (Which parts of the C++14 Standard Library could be and which parts will be made constexpr?). Es ist ziemlich unwahrscheinlich, dass man ausbleiben würde, da bindmostly superseded von Lambda-Ausdrücke, die als C 17 ++ automatisch constexpr:

constexpr auto sumB = [](int x, foo const& y) { return x + y.b(); }; 

Answer 2

Nun, wir wissen nicht, was std::bind zurückgibt. Es könnte wahrscheinlich gemacht werden, um zu arbeiten, aber es gibt nichts, das vorgeschrieben ist, damit es funktioniert (nichts ist definiert als constexpr in der Spezifikation std::bind).

Auf was Sie tun können, wenn Sie Zugriff auf C++ 17 haben, ist ein Lambda zu verwenden. In C++ 17 die operator() der Lambda wird constexpr standardmäßig markiert werden, so dass Sie so etwas wie

constexpr auto sumB = [](auto val, auto obj) { return val + obj.b(); }; 
constexpr auto sumA = [](auto val, auto obj) { return val + obj.a(); }; 
constexpr auto sumR = [](auto val, auto obj) { return val + obj.r(); }; 

Live Example