我可以施放一個std ::數組來切片嗎？還是有什麼我可以用來代替？

Question

這是不確定的行爲？

std::array<int, 5> x = {3, 5, 1, 2, 3}; 
std::array<int, 3>& y = *reinterpret_cast<std::array<int, 3>*>(&x[1]); 
for(int i = 0; i != 3; i++) { 
    std::cout << y[i] << "\n"; 
} 

也許是的，但我真的覺得應該有切片std::array個安全方式。

編輯：繼拉狄克的建議：

template<unsigned N, unsigned start, unsigned end, typename T> 
std::array<T, end - start>& array_slice(std::array<T, N>& x) 
{ 
    static_assert(start <= end, "start <= end"); 
    static_assert(end <= N-1, "end <= N"); 
    return *reinterpret_cast<std::array<T, end - start>*>(&x[start]); 
} 

編輯：好吧，我決定，我很不滿意std::array S和將移動到別的東西，任何想法？

Answer 1

放置新東西怎麼樣？

#include <array> 
#include <iostream> 
#include <iterator> 

template<typename T, std::size_t N> 
struct array_slice : public std::array<T,N> { 
    ~array_slice() = delete; 
}; 

int main() { 
    std::array<double,4> x_mu{0.,3.14,-1.,1.}; 
    std:: cout << &x_mu << std::endl; 

    { 
     auto slicer = [] (std::array<double,4>& ref) { 
      array_slice<double,3>* p = new (&ref) array_slice<double,3>; 
      return p; 
     };  

     std::array<double,3>& x_ = *slicer(x_mu); 
     std::copy(x_.begin(),x_.end(), 
       std::ostream_iterator<float>(std::cout," ")); 
     std:: cout << std::endl; 
     std:: cout << &x_ << std::endl; 
    } 

    std::copy(x_mu.begin(),x_mu.end(), 
       std::ostream_iterator<float>(std::cout," ")); 
} 

Answer 2

是的，那是未定義的行爲。您正在接受一種類型的信息，並將其輸入另一個類型。的確，使用reinterpret_cast應該是一個大紅旗，因爲「這裏有龍！」對於切片數組，這不會發生。 A std::array包含值;其中一部分將包含引用到該數組的一部分。因此，它不會是std::array。您可以複製數組片，但不使用std::array。您需要使用std::vector，因爲它允許調用構造函數以及從一系列值構造。記住：std::array只是一個圍繞C風格數組的更好的包裝。

該委員會正在研究模板類，這正是它所說的：對T類型的某個數組段的引用。這可能是一個普通的C風格陣列，std::vector，std::array，或只是一些內存分配new T[]。有some library implementations of the class already，但沒有任何標準化。

---

繼拉狄克的建議：

隱藏未定義行爲的功能並不能使它定義的行爲。你可以嘗試假裝它不是未定義的，但它仍然是。在你使用reinterpret_cast的那一刻，你會放棄生活在C++的土地上。