0

假设我有一个结构（在现实生活中，这是一个自动机）：

struct automaton
{
  bool get_final() const { return final; }
  void set_final()       { final = true; }
  bool final = false;
};

为此，我想提供一个可以看到它转置（iow、反转或镜像）的视图。因为我有不止一个automaton类，我有一个类模板来包装我的自动机（我真的想要组合，而不是继承），并将所有函数调用反弹到包装的自动机，颠倒需要的东西。为了简单起见，在这里，它只是转发呼叫。

用手，我会得到

template <typename Aut>
struct transposed_by_hand
{
  Aut& aut;
  auto get_final() const -> bool
  {
    return aut.get_final();
  }

  auto set_final() -> void
  { 
    aut.set_final(); 
  }
};

但是有很多函数，我不想在包装器中硬编码这么多信息（函数签名）。多亏了可变参数模板和对传入参数的完美转发，decltype对于结果，很容易有一个宏来分解所有 const 成员函数的定义，而另一个宏则用于非常量成员函数（不同之处在于const）。基本上，在这种情况下，它归结为：

template <typename Aut>
struct transposed_with_decltype
{
  Aut& aut;
  auto get_final() const -> decltype(aut.get_final())
  {
    return aut.get_final();
  }

  auto set_final() -> decltype(aut.set_final())
  {
    aut.set_final(); 
  }
};

这适用于非常量自动机，但如果我包装一个 const 自动机就会中断：

int main()
{
  const automaton aut;
  transposed_by_hand<const automaton> trh = { aut };
  transposed_with_decltype<const automaton> trd = { aut };
}

我的编译器抱怨（G++ 4.9）：

f.cc: In instantiation of 'struct transposed_with_decltype<const automaton>':
f.cc:44:49:   required from here
f.cc:34:12: error: passing 'const automaton' as 'this' argument of 'void automaton::set_final()' discards qualifiers [-fpermissive]
       auto set_final() -> decltype(aut.set_final())
            ^

和（Clang++ 3.3）：

f.cc:42:23: error: default initialization of an object of const type 'const automaton' requires a user-provided default constructor
      const automaton aut;
                      ^
f.cc:34:36: error: member function 'set_final' not viable: 'this' argument has type 'const automaton', but function is not marked const
      auto set_final() -> decltype(aut.set_final())
                                   ^~~
f.cc:44:49: note: in instantiation of template class 'transposed_with_decltype<const automaton>' requested here
      transposed_with_decltype<const automaton> trd = { aut };
                                                ^
f.cc:6:12: note: 'set_final' declared here
      void set_final()       { final = true; }
           ^
2 errors generated.

他们是对的！中的表达式decltype打破了包装自动机的 const-ness。然而，我发誓我不会使用这个功能。就像我不会使用手工包裹的相应的一样。

所以我的问题是：有没有办法编写包装的定义，set_final这样我就不必拼出它的签名（输入和输出）？我曾尝试使用std::enable_if，但它对这里的问题没有任何改变。无论如何，它需要编译器是惰性的，并且接受不评估第二个参数std::enable_if是否不需要......

template <typename Aut>
struct transposed_with_decltype
{
  Aut& aut;
  auto get_final() const -> decltype(aut.get_final())
  {
    return aut.get_final();
  }

  auto set_final() -> typename std::enable_if<!std::is_const<Aut>::value,
                                              decltype(aut.set_final())>::type
  {
    aut.set_final(); 
  }
};

提前致谢。

4

1 回答 1

0

只需使用 Xeo 在他的评论中提到的建议，我就可以让它工作（使用 GCC 4.6）。也就是说，我将函数变成了一个简单的模板，如下所示：

template<typename = void>
auto set_final() -> decltype(aut.set_final())  {
    return aut.set_final(); 
}

== 编辑 ==

Luc Danton 在下面评论说，更新的 GCC 可能会拒绝该代码，抱怨它decltype不依赖。我这里只有 4.6，但也许可以使用以下方法解决此问题：

template<typename KLUDGE = int>
auto set_final() -> decltype((&aut+KLUDGE(0))->set_final())  {
    return aut.set_final(); 
}

YMMV。

于 2013-06-14T19:41:41.703 回答