C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了c – 在其他类中实现std :: array-like构造函数大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
@H_772_1@在我使用的所有现代C编译器中,以下是合法的:
std::array<float,4> a = {1,2,3,4};

我正在尝试创建具有类似构造语义的我自己的类,但我遇到了一个恼人的问题.虑以下尝试:

#include <array>
#include <cstddef>

template<std::size_t n>
class float_vec
{
private:
  std::array<float,n> underlying_array;

public:
  template<typename... Types>
  float_vec(Types... args)
    : underlying_array{{args...}}
  {
  }
};

int main()
{
  float_vec<4> v = {1,4}; // error here
}

当使用上面的int文字时,编译器抱怨它不能隐式地将int转换为float.我认为它在std :: array示例中有效,因为给出的值是已知在float域内的编译时常量.另一方面,可变参数模板使用int作为参数类型,转换发生在构造函数的初始化列表中,其中值在编译时是未知的.

我不想在构造函数中进行显式强制转换,因为即使它们不能用float表示,它也允许所有数值.

我能想到得到我想要的唯一方法是以某种方式具有可变数量的参数,但具有特定类型(在这种情况下,我想要浮动).我知道std :: initializer_list,但我希望能够在编译时强制执行参数的数量.

有任何想法吗? C 11是我想要的吗?为C 14提出的任何新建议都能解决这个问题吗?

解决方法

一个小技巧是使用构造函数继承.只需让你的类派生自另一个具有一包你想要的参数的类.
template <class T,std::size_t N,class Seq = repeat_types<N,T>>
struct _array_impl;

template <class T,class... Seq>
struct _array_impl<T,N,type_sequence<Seq...>>
{
    _array_impl(Seq... elements) : _data{elements...} {}
    const T& operator[](std::size_t i) const { return _data[i]; }

    T _data[n];
};


template <class T,std::size_t N>
struct array : _array_impl<T,N>
{
    using _array_impl<T,N>::_array_impl;
};

int main() {
    array<float,4> a {1,4};
    for (int i = 0; i < 4; i++)
        std::cout << a[i] << std::endl;
    return 0;
}

以下是repeat_types实用程序的示例实现.此示例使用对数模板递归,与线性递归相比,它实现起来不太直观.

template <class... T>
struct type_sequence
{
    static constexpr inline std::size_t size() noexcept { return sizeof...(T); }
};


template <class,class>
struct _concatenate_sequences_impl;
template <class... T,class... U>
struct _concatenate_sequences_impl<type_sequence<T...>,type_sequence<U...>>
    { using type = type_sequence<T...,U...>; };
template <class T,class U>
using concatenate_sequences = typename _concatenate_sequences_impl<T,U>::type;


template <std::size_t N,class T>
struct _repeat_sequence_impl
    { using type = concatenate_sequences<
        typename _repeat_sequence_impl<N/2,T>::type,typename _repeat_sequence_impl<N - N/2,T>::type>; };
template <class T>
struct _repeat_sequence_impl<1,T>
    { using type = T; };
template <class... T>
struct _repeat_sequence_impl<0,type_sequence<T...>>
    { using type = type_sequence<>; };
template <std::size_t N,class... T>
using repeat_types = typename _repeat_sequence_impl<N,type_sequence<T...>>::type;

大佬总结

以上是大佬教程为你收集整理的c – 在其他类中实现std :: array-like构造函数全部内容,希望文章能够帮你解决c – 在其他类中实现std :: array-like构造函数所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。