我的目标是创建一个包含由所有类组成的元组的类,所有这些类都具有方法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/