Возможно ли полное выключение части кода метода шаблонного класса на С++?

Question

[Элль Соломина]

Доброго времени суток.


Разрабатываю на С++ довольно давно, особых проблем не испытываю, но вот столкнулся с задачей, которую не понимаю как решить, хотя она должна решаться легко. Подскажите пожалуйста есть ли какой то способ полностью отключить генерацию определённого участка кода в функции шаблона (так, как это было бы при применении препроцессора). Пример:

template <classT, bool alt = false>
Shablon
{

  void foo()
  {
      if (alt)
      {
         ((T*)this)->m_member.foo(); // ошибка компиляции если alt == false, и у класса T нет члена с методом foo.
         ((T*)this)->someFoo();
      }
      ((T*)this)->someFoo2();
  }

}

Answer 1

[skor]

В C++ нельзя так просто взять, чтобы всё было хорошо, если без макросов, конечно. Простое решение с enable_if:

#include <boost/utility/enable_if.hpp>

template <class T, bool alt = false>
struct Shablon
{
  template <bool C>
  typename boost::enable_if_c<C>::type doSomething() {
    ((T*)this)->m_member.foo();
    ((T*)this)->someFoo();
  }

  template <bool C>
  typename boost::disable_if_c<C>::type doSomething() {
  }

  void foo()
  {
    doSomething<alt>();
    ((T*)this)->foo2();
  }
};

Comments

[Элль Соломина]

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

Answer 2

[ixSci]

Можно использовать специализацию шаблона, в вашем случае частичную(partial specialization) и там уже писать нужный код. Так как вы хотите(настолько просто) не получится.
Еще можно сделать enable_if на foo функцию внутри одного класса.

Comments

[Элль Соломина]

Так как вы хотите(настолько просто) не получится.

Благодарю вас, жалко, что так. хотелось напрямую декларировать набор фич в параметре шаблона, при этом не меняя интерфейс класса. Но видимо придётся окольными путями :)

p.s: странно, что это невозможно, ведь параметр шаблона известен на этапе компиляции, и компилятор мог не разгребая выкинуть этот код… хотя возможно это обратная совместимость с каким нибудь goto. В общем ждём D для такого удобства :)

[ixSci]

Именно поэтому ратуют за if этапа компиляции вместо всех этих уродливых конструкций на SFINAE. Но когда это еще будет…

[Элль Соломина]

Да уж, if и switch этапа компиляции давно пора сделать.

Answer 3

[abby]

Мне кажется вам требуется SFINAE, на вики и хабре есть статьи. Советую использовать type_traits. В visual c++ есть __if_exists, но это некроссплатформенно.

Comments

[Элль Соломина]

Благодарю, в данном случае удобней всего оказалось __if_exists. Этот шаблон кусок GUI, со студийным проектом, и там довольно много WinApi.

Answer 4

[AxisPod]

Глядите в сторону en.cppreference.com/w/cpp/types

Из основных механизмов это: специализации шаблонов и SFINAE.

Проверка наличия метода можно сделать только с помощью SFINAE (enable_if основывается на SFINAE). Вообще проверять наличие метода шаблонами часто может оказаться не самым лучшим решением ибо может быть наследование.

Но вообще гляньте: stackoverflow.com/questions/87372/check-if-a-class-has-a-member-function-of-a-given-signature для конкретной проверки наличия метода.

Comments

[Элль Соломина]

Благодарю, по совету abby заюзал __if_exists. В том проекте его точно за глаза хватит, так или иначе, то, что я хотел, на C++ сделать, к сожалению, не получится.

Answer 5

[living]

В вашем случае можно просто использовать частичную специализацию вашего класса, либо сделать дополнительный шаблонный класс, запускающий требуемые методы, и специализировать только его ( что-то типа такого paste.kde.org/p29e289bb/ ). Можно пойти дальше и использовать SFINAE для определения, есть ли данные методы в членах класса, тогда можно будет спрятать ваш дополнительный параметр шаблона alt.

Answer 6

[sdevalex]

template <int v>
struct Int2Type
{
        enum { value = v };
};

template <classT, bool alt = false>
class Shablon
{
  void doSomething(Int2Type<true>)
  {
     ((T*)this)->m_member.foo();
     ((T*)this)->someFoo();
  }

  void doSomething(Int2Type<false>)
  {
  }

  void foo()
  {
      DoSomething(alt);

      ((T*)this)->someFoo2();
  }
};

Comments

[sdevalex]

В foo() опечатка конечно…

doSomething(alt);

Похожий код приводится в книге «Андрей Александреску — Современное проектирование на C++»

[Элль Соломина]

Благодарю, понятное дело, что так можно :) Но это нагромождения лишнего кода. Вот представьте, там в коде около двух десятков разных кусочков, которые надо включать и выключать в зависимости от ситуации. И соответственно для того, что бы оно заработало, придётся написать около 40 дополнительных функций. :)

[skor]

g++ 4.3.4 выдаёт ошибку:

main.cpp:43: error: no matching function for call to 'Shablon<T1, false>::doSomething(bool)'
main.cpp:29: note: candidates are: void Shablon<T, alt>::doSomething(Int2Type<1>) [with T = T1, bool alt = false]
main.cpp:34: note:                 void Shablon<T, alt>::doSomething(Int2Type<0>) [with T = T1, bool alt = false]

В вашем случае требуется вызывать, наверное, так?

doSomething(Int2Type<alt>());

Answer 7

[sdevalex]

__