创建N个零的index_sequence

时间:2018-09-06 23:17:01

标签: c++ c++11 variadic-templates template-meta-programming template-specialization

我一直在尝试编写一种zero_sequence类型,该类型创建指定数量的零的index_sequence或使用现有的 index_sequence,以产生一个新的具有相同数量值但全为零的值。我对为什么会这样感到困惑:

template<typename> struct zero_sequence;
template<size_t...I> 
struct zero_sequence<index_sequence<I...>> : index_sequence<(I*0u)...>{};

int main( int argc, char *argv[] ) {

  using A  = index_sequence<0,1,2,3,4>;
  using B  = make_index_sequence<5>;
  using A0 = zero_sequence<A>;
  using B0 = zero_sequence<B>;

  A a;  B b; 

  cout <<< std::is_same<A,B>::value << endl; // is false

  A0 a0; 
  B0 b0;  // < error implicit instantiation of undefined template
  return 0;
}

我不明白为什么两种情况不同(在Mac Clang llvm 9.0.0上)。

如果与解释此行为有关,我将在C ++ 11 I think I got it from here中使用index_sequencemake_index_sequence的以下实现:

template<typename Integer, Integer... I>
struct integer_sequence {
  using type = integer_sequence;
  using value_type = Integer;
  static constexpr size_t size() noexcept { return sizeof...(I); }
};

template<size_t... Ints> using index_sequence = integer_sequence<size_t, Ints...>;

template <typename,typename> struct _merge_and_renumber;

template <size_t... I1, size_t... I2>
struct _merge_and_renumber<index_sequence<I1...>,index_sequence<I2...>> 
  : index_sequence<I1..., (sizeof...(I1)+I2)...> {};

template <size_t N>
struct make_index_sequence
  : _merge_and_renumber<typename make_index_sequence<N/2>::type,
                        typename make_index_sequence<N - N/2>::type> {};

template<> struct make_index_sequence<0> : index_sequence<> {};
template<> struct make_index_sequence<1> : index_sequence<0> {};

1 个答案:

答案 0 :(得分:1)

我建议一个zero_sequence完全不同:不是struct,而是基于usingdecltype()和唯一声明的辅助函数的std::declval()(遵循std::declval()示例。

我的意思是...如果您定义以下辅助函数

template <std::size_t ... Is>
constexpr auto zeHelper (index_sequence<Is...> const &)
   -> decltype( index_sequence<(Is,0u)...>{} );

zero_sequence可以定义为

template <typename T>
using zero_sequence = decltype(zeHelper(std::declval<T>()));

您可以同时声明a0b0

A0 a0; 
B0 b0; // now works

并且编译也没有问题

static_assert( std::is_same<A0, B0>::value, "!" );
  

我对为什么发生这种情况感到困惑[...]我不明白为什么两种情况不同

您的zero_sequence模板结构专业化问题

template<size_t...I> 
struct zero_sequence<index_sequence<I...>> : index_sequence<(I*0u)...>{};

还有通用版本(未实现,但是有)

template<typename> struct zero_sequence;

因此,当您将index_sequence用作zero_sequence的模板参数时,已实现的专业匹配并被选择。

但是,当您使用make_index_sequence时,该继承自index_sequence并可以转换为index_sequence但又不完全是index_sequence时,专业化就不会匹配并选择zero_sequence的通用(未实现)版本。

我建议使用zeHelper()或类似的函数来避免此问题,因为make_index_sequence可转换为index_sequence