0

我经常使用以下构造将运行时（动态）参数转换为编译时（静态）参数

namespace Foo {
  enum struct option { A,B,C,D,E,F };

  template<template<option> class Func, typename... Args>
  auto Switch(option opt, Args&&...args)
  -> decltype(Func<option::A>::act(std::forward<Args>(args)...))
  {
    switch(opt) {
    case option::A : return Func<option::A>::act(std::forward<Args>(args)...);
    case option::B : return Func<option::B>::act(std::forward<Args>(args)...);
    // etc.
  }
}

例如

template<Foo::option>
void compile_time(std::string const&);         // given

namespace {
  template<Foo::option Opt>
  struct Helper {
    static void act(std::string const&str) { compile_time<Opt>(str); }
  };
}

void run_time_arg(Foo::option opt, std::string const&str)
{
  Switch<CompileTimeArg>(opt,str);
}

到目前为止，一切都很好。但现在我有另一个template论点，也blah()想有同样的template论点。也就是说，从概念上讲，我想

template<int, Foo::option>
void compile_time(std::string const&);         // given

namespace {
  template<int Bar, Foo::option Opt>
  struct Helper {
    static void act(std::string const&str) { compile_time<Bar,Opt>(str); }
  };
}

template<int Bar>
void blah(Foo::option opt, std::string const&str)
{
  template<Foo::option Opt> using BarHelper = Helper<Bar,Opt>;
  Switch<BarHelper>(opt, str);
}

但是，当然，这是不允许的（template在功能块范围内blah()）。那么正确的解决方案是什么？

请注意，我可以将所有内容放在辅助类模板中

namespace {
  template<int Bar>
  struct Auxiliary
  {
    template<Foo::option Opt> using BarHelper = Helper<Bar,Opt>;
    static void blah(Foo::option opt, std::string const&str)
    { Switch<BarHelper>(opt, str); }
  };
}

template<int Bar>
void blah(Foo::option opt, std::string const&str)
{ Auxiliary<Bar>::blah(opt, str); }

但这是笨拙和不令人满意的。有替代或更好的解决方案吗？ 我试过这个：

template<typename X, typename Y, X x, template<X,Y> class C>
struct specialise {
  template<Y y> using special = C<x,y>;
};

template<int Bar>
void blah(Foo::option opt, std::string const&str)
{
  using Aux = specialise<int, Foo::option, Bar, Helper>
  Switch<Aux::special>(opt, str); }
}

但是 gcc (5.1.0) 抱怨它S::special被解析为非类型，而实例化产生一个类型......这是错误的（我认为）：实例化产生一个模板（无论如何typename按照建议插入没有帮助）。那么有什么问题和/或如何正确/更好地做到这一点？

4

1 回答 1

1

要添加的关键字不是typename因为它不是类型，而是template.

所以，调用应该是

template<int Bar>
void blah(Foo::option opt, std::string const& str)
{
    using Aux = specialise<int, Foo::option, Bar, Helper>
    Switch<Aux::template special>(foo, ptr, str);
}

现场演示

于 2016-01-06T20:50:02.583 回答