मैं निर्दिष्ट बाइट सीमा पर एक संरचना को कैसे संरेखित कर सकता हूं?

Question

मुझे जंग में 16 बाइट सीमा के लिए एक संरचना को संरेखित करने की आवश्यकता है। repr attribute को संरेखण के बारे में संकेत देना संभव लगता है, लेकिन यह इस सटीक उपयोग के मामले का समर्थन नहीं करता है।

मैं क्या हासिल करने की कोशिश कर रहा हूँ का एक कार्यात्मक परीक्षण एक प्रकार Foo ऐसी है कि

assert_eq!(mem::align_of::<Foo>(), 16); 

या वैकल्पिक रूप से, एक क्षेत्र के साथ एक struct Barbaz ऐसी है कि

println!("{:p}", Bar::new().baz); 

हमेशा एक प्रिंट है 16 से विभाजित संख्या

क्या यह वर्तमान में जंग में संभव है? क्या कोई काम-आसपास है?

Answer 1

इस समय सीधे संरेखण निर्दिष्ट करने का कोई तरीका नहीं है, लेकिन यह निश्चित रूप से वांछनीय और उपयोगी है। यह issue #33626 द्वारा कवर किया गया है, और इसकी RFC issue है।

एक मौजूदा काम के आसपास के रूप में कुछ प्रकार T के संरेखण जो आकार शून्य है प्रकार [T; 0] के एक क्षेत्र को शामिल करने के है और इसलिए अन्यथा के व्यवहार को प्रभावित नहीं करेगा के रूप में बड़े होने के लिए कुछ struct Foo के संरेखण के लिए मजबूर करने संरचना, उदाहरण के लिए struct Foo { data: A, more_data: B, _align: [T; 0] }।

रात को, इसे एक विशिष्ट उच्च संरेखण प्राप्त करने के लिए सिम प्रकार के साथ जोड़ा जा सकता है, क्योंकि उनके पास उनके आकार के बराबर संरेखण होता है (ठीक है, दो की अगली शक्ति), उदा।

#[repr(simd)] 
struct SixteenBytes(u64, u64); 

struct Foo { 
    data: A, 
    more_data: B, 
    _align: [SixteenBytes; 0] 
}