Принудительно вызовов функций во время компиляции в C++

Question

Есть ли способ в C++ для обеспечения вызовов функции во время компиляции таким образом, что этот вызов будет разрешен:

obj.reset().setParam1(10).setParam2(20); 

, но это один не будет компилироваться:

obj.reset().setParam1(10); 

Я хочу, чтобы не задавать все параметры в одной функции, поскольку их слишком много; поэтому я предпочитаю использовать нечто похожее на именованные параметры idiom.

EDIT: Альтернативный синтаксис может быть:

obj.reset(setParam1(10), setParam2(20)); 

или

obj.reset(setParam1(10).setParam2(20)); 

Answer 1

Самое лучшее, что я мог сделать, чтобы обеспечить как именованные параметры и применять их все инициализации является это.

template<typename T> 
struct Setter 
{ 
    Setter(const T &param) : ref(param) {} 
    const T &ref; 
}; 


typedef Setter<int> Param1; 
typedef Setter<std::string> Param2; 


struct CObj 
{ 
    void reset(const Param1 &A, const Param2 &B) { 
      setParam1(A.ref); setParam2(B.ref); } 

    void setParam1(int i) { param1 = i; } 
    void setParam2(const std::string &i) { param2 = i; } 

    int param1; 
    std::string param2; 
}; 



int main() 
{ 
    CObj o; 
    o.reset(Param1(10), Param2("hehe")); 
} 

Answer 2

В желаемое поведение должно присутствовать во время компиляции, оно должно быть реализовано в системе типа. Насколько я понимаю, это невозможно в C++ - именованные параметры idiom полагаются на функции setter, имеющие одинаковый тип возвращаемого типа (а именно тип вызываемого объекта), поэтому нельзя запретить вызов определенных методов.

Answer 3

Я приведу вам пример этого с двумя параметрами, которые вы предоставляете, если вам нужно больше, ему нужно больше работать. Если иерархия требований между параметрами становятся слишком сложными, вы можете найти его трудно структурировать классы, но здесь идет:

class Obj { 
    Obj2 setParam2(int v); 
} 

class Obj2: public Obj { 
    Obj2 setParam1(int v); 
} 

int main() { 
    Obj obj; 
    obj.setParam2(10); // possible 
    obj.setParam2(10).setParam1(20); // possible 
    obj.setParam1(20); // not possible 
    obj.setParam1(20).setParam2(10); // unfortunately not possible 

    // Edit: one more limitation- consecutive calls are not possible, 
    // you must chain 
    obj.setParam2(20); 
    obj.setParam1(10); // problem 
}