我的目标是创建一个包含由所有类组成的元组的类,所有这些类都具有方法void update(),该方法允许在一行中以最小的开销调用所有包含的update()方法。这是我的代码:

template< typename... Tel >
class ExecSet
{
private:
  std::tuple<Tel...> m_data;

   //Compile-time Recursive
   template<int _iter, typename _Head, typename... _Tail>
   inline void _update()
   {
     std::get<_iter>(m_data).update();
     _update< _iter + 1, _Tail... >();
   }

   //Base case
   template<int _iter>
   inline void _update()
   {
     //Do nothing here
   }

public:
   inline void update()
   {
     _update<0, Tel...>();
   }
};

class Foo
{
//..
inline void update()
  {
    std::cout << "An update of Foo " << m_i << "\n";
  }

  private:
  int m_i;
};

class Bar
{
//..
inline void update()
  {
    std::cout << "An update of Bar " << m_i << "\n";
  }

  private:
  int m_i;
};

代码将编译,并按预期执行测试。我的问题是,我可以100%确定ExecSet::update()与内部进行的每个递归调用一起完全内联吗?我想应该是因为这都是在编译时确定的。在-O3下,所有内容都应该内联吗?

最佳答案

你不能。即使您添加inline说明符,C++标准也不保证可以内联函数。

关于c++ - 可变参数模板中的编译时递归,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/17763751/

10-11 23:03
查看更多