模板参数、#define 和代码重复

Question

我有很多这样的代码：

#define WITH_FEATURE_X

struct A {
#ifdef WITH_FEATURE_X
  // ... declare some variables Y
#endif
  void f ();
};

void A::f () {
  // ... do something
#ifdef WITH_FEATURE_X
  // ... do something and use Y
#else
  // ... do something else
#endif
  // ... do something
}

并且我想用模板参数替换#defines：

template < int WITH_FEATURE_X > // can be 0 or 1
struct A;

但我不想为 A<0>::f 复制 A::f() 的几乎整个代码() 和 A<1>::f() 仅适用于依赖于参数的几行。我也不想调用函数来代替之前的#ifdef。常见的解决方案是什么？

Answer 1

我不明白常见代码重复的意义。如果您使用模板参数，您只需将 #ifdef 替换为 if(WITH_FEATURE_X)。
你是在谈论编译器的代码膨胀吗？
由于您正在尝试替换 #ifdef，我假设您将使用 A<0>或A 1 ；在任何时候。因此，即使编译器也没有看到代码膨胀。

Answer 2

恐怕常见的解决方案就是使用#ifdef。 :-)

Answer 3

我相信你想要的是相当于D语言中存在的“static if”命令。恐怕C++中不存在这样的功能。

请注意，如果代码的某些部分根据您请求的功能而有所不同，则这些部分不属于主函数，因为它们不是裸算法的一部分。因此，在函数中委托此类功能的选项似乎是一个不错的选择。

编辑
如果您的 #ifdef 语句用于以不同的方式执行相同的子任务，那么定义子函数是正确的做法。它将使您的代码更具可读性，而不是更少。

如果它们用于完全不同的操作，那么您的代码已经很混乱了。做点什么吧。

至于您担心可能出现的性能问题，请相信您的编译器。

编辑2
我忘记提及代码第一部分的答案：使用以下技巧根据“功能”添加或删除成员。

namespace helper
{
  template<int feature>
  struct A;

  template<>
  struct A<0> { // add member variables for case 0 };

  template<>
  struct A<1> { // add member variables for case 1 };
}

template<int feature>
class A : private helper::A<feature>
{
  // ... functions here
};

Answer 4

如果你想避免重复函数 f 的逻辑，你可以使用 模板方法模式（不，不是那种模板< /a>.

template <bool enabled>
class helper {
protected:
    void foo() { /* do nothing */ }
};

template <>
class helper<true> {
protected:
    Y y;
    void foo() { /* do something with y */ }
};

struct A : private helper<WITH_FEATURE_X> {
    void f() {
        // common stuff

        foo(); // optimized away when WITH_FEATURE_X is false

        // more common stuff
    }
};