SafeManuallyDrop 1.0.3

A safe version of ManuallyDrop with various features and options to track undefined behavior when working with ManuallyDrop.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122


//! Flags used when building this library

/// Whether a table of build flags to use was created
/// when the library was compiled.
pub const IS_BUILD_FLAGSTABLE: bool = true;

/// Depending on the build flag, a protected version of ManuallyDrop or 
/// an unprotected version of ManuallyDrop with a default trigger.
pub const IS_SAFE_MODE: bool = crate::ManuallyDrop::is_safe_mode();

/// Whether the library build flag was used to support panic_trig.
pub const IS_SUPPORT_PANIC_TRIG: bool = {
	#[cfg(feature = "support_panic_trig")] {
		true
	}
	
	#[cfg(not(feature = "support_panic_trig"))] {
		false
	}
};

/// Whether the library build flag was used to support hookfn_trig.
pub const IS_SUPPORT_HOOKFN_TRIG: bool = {
	#[cfg(feature = "support_hookfn_trig")] {
		true
	}
	
	#[cfg(not(feature = "support_hookfn_trig"))] {
		false
	}
};

/// Whether the library build flag was used to support abort_trig.
pub const IS_SUPPORT_ABORT_TRIG: bool = {
	#[cfg(feature = "support_abort_trig")] {
		true
	}
	
	#[cfg(not(feature = "support_abort_trig"))] {
		false
	}
};

/// Whether the library build flag was used to support count_trig.
pub const IS_SUPPORT_COUNT_TRIG: bool = {
	#[cfg(feature = "support_count_trig")] {
		true
	}
	
	#[cfg(not(feature = "support_count_trig"))] {
		false
	}
};

/// Whether the library build flag was used to support loop_trig.
pub const IS_SUPPORT_LOOP_TRIG: bool = true;

/// Ability to determine if an empty loop trigger has been executed.
pub const IS_SUPPORT_LOOP_IS_TRIG: bool = {
	#[cfg(feature = "support_istrig_loop")] {
		true
	}
	
	#[cfg(not(feature = "support_istrig_loop"))] {
		false
	}
};

/// Enable additional internal checks of the SafeManuallyDrop library when 
/// the debug_assertions flag is enabled (does not depend on the always_check_in_case_debug_assertions 
/// and always_safe_manuallydrop options).
pub const IS_FULLINTERNAL_DEBUG_ASSERTIONS: bool = {
	#[cfg(feature = "allow_fullinternal_debug_assertions")] {
		true
	}
	
	#[cfg(not(feature = "allow_fullinternal_debug_assertions"))] {
		false
	}
};

/// Whether the default behavior autodetection was used for ManuallyDrop.
pub const IS_AUTO_DETECT_DEFTRIG: bool = crate::core::trig::IS_AUTO_DETECT_DEFTRIG;

/// If the build was done using "all functions" (cargo test/doc/build --all-features), the required behavior in a safe mandrop cannot be determined, 
/// if this flag is active, EmptyLoopTrigManuallyDrop will be used.
pub const IS_INVALID_AUTO_DETECT_DEFTRIG: bool = crate::core::trig::IS_INVALID_AUTO_DETECT_DEFTRIG;

#[cfg(test)]
#[test]
fn test_flag_is_safe_mode() {
	#[allow(unused_assignments)]
	let mut is_checked_c = 0;
	
	#[cfg(feature = "always_safe_manuallydrop")] {
		assert_eq!(IS_SAFE_MODE, true);
		
		//#[allow(unused_assignments)] // error[E0658]: attributes on expressions are experimental
		is_checked_c = 1;
	}
	if is_checked_c != 1 {} // fix error[E0658]: attributes on expressions are experimental
	
	#[cfg( all(feature = "always_check_in_case_debug_assertions", debug_assertions) )] {
		assert_eq!(IS_SAFE_MODE, true);
		
		is_checked_c = 1;
	}
	
	#[cfg(not(
		any(
			all(feature = "always_check_in_case_debug_assertions", debug_assertions),
			feature = "always_safe_manuallydrop"
		)
	))] {
		assert_eq!(IS_SAFE_MODE, false);
		
		is_checked_c = is_checked_c + 1;
	}
	
	assert_eq!(is_checked_c, 1);
}