c++ - 带有类型参数的模板模板参数？

Question

以下代码无法编译。 甚至可以传递 Configuration<t, u> 的实例吗？作为模板参数？ (从常量表达式的优化中获利)

应用程序接口(interface):

template <int t, bool u>
struct Configuration {
  static constexpr int commonValue = t;
  static constexpr bool debug = u;
};

template <
  template<int t, bool u> Configuration<t, u> &conf,
  int x
>
class A {
public:
  int doSomething() {
    if (conf.debug) { // Optimize away if false
      // ...
    }
    return x * conf.commonValue; // Optimize to e.g. 6 with `conf.commonValue` =
                                 // 3, `x` = 2
  }
};

API 的用户应该能够:

int main() {
    static constexpr Configuration<3, false> conf;
    A<conf, 2> a;
    A<conf, 5> b;
    A<conf, 8> c;
    std::cout << a.doSomething() << std::endl; // 6 (evaluated at compile time!)
    std::cout << b.doSomething() << std::endl; // 15
    std::cout << c.doSomething() << std::endl; // 24
}

Answer 1

由于 Configuration 的属性是static , 你应该使用模板类型参数¹:

template <class ConfT, int x>
class A {
public:
  int doSomething() {
    if (ConfT::debug) { // Optimize away if false

    }
    return x * ConfT::commonValue;
  }
};

然后:

// Alias (not required):
using conf = Configuration<3, false>;

A<conf, 2> a;
A<conf, 3> b;

如果你想要非静态成员，我认为在 C++17 之前这是不可行的(不将 Configuration 的模板参数传递给 A )，但在 C++17 中你可以这样做<支持>1:

template <auto const& conf, int x>
class A {
public:
  int doSomething() {
    if (conf.debug) { // Optimize away if false
    }
    return x * conf.commonValue;
  }
};

但请注意，您只能传递对具有静态存储持续时间的变量的引用。

_{¹ 在第一种情况下，您可以将类型限制为 Configuration<...>通过特化A , 在第二种情况下，您可以限制 conf 的类型使用额外的模板参数 std::enable_if .}

---

您还应该使属性 constexpr在Configuration ，不只是 const :

template <int t, bool u>
struct Configuration {
  static constexpr int commonValue = t;
  static constexpr bool debug = u;
};