2020-06-02 17:49:09 -05:00
|
|
|
|
|
|
|
<style>
|
|
|
|
body { margin: 0; }
|
|
|
|
pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padding: 0.4em; }
|
|
|
|
|
|
|
|
.lifetime { color: #DFAF8F; font-style: italic; }
|
|
|
|
.comment { color: #7F9F7F; }
|
2020-06-22 09:28:07 -05:00
|
|
|
.documentation { color: #629755; }
|
2020-06-18 09:30:40 -05:00
|
|
|
.injected { opacity: 0.65 ; }
|
2020-06-02 17:49:09 -05:00
|
|
|
.struct, .enum { color: #7CB8BB; }
|
|
|
|
.enum_variant { color: #BDE0F3; }
|
|
|
|
.string_literal { color: #CC9393; }
|
|
|
|
.field { color: #94BFF3; }
|
|
|
|
.function { color: #93E0E3; }
|
2020-06-08 08:23:03 -05:00
|
|
|
.function.unsafe { color: #BC8383; }
|
|
|
|
.operator.unsafe { color: #BC8383; }
|
2020-06-02 17:49:09 -05:00
|
|
|
.parameter { color: #94BFF3; }
|
|
|
|
.text { color: #DCDCCC; }
|
|
|
|
.type { color: #7CB8BB; }
|
|
|
|
.builtin_type { color: #8CD0D3; }
|
|
|
|
.type_param { color: #DFAF8F; }
|
|
|
|
.attribute { color: #94BFF3; }
|
|
|
|
.numeric_literal { color: #BFEBBF; }
|
|
|
|
.bool_literal { color: #BFE6EB; }
|
|
|
|
.macro { color: #94BFF3; }
|
|
|
|
.module { color: #AFD8AF; }
|
2020-07-11 07:50:00 -05:00
|
|
|
.value_param { color: #DCDCCC; }
|
2020-06-02 17:49:09 -05:00
|
|
|
.variable { color: #DCDCCC; }
|
|
|
|
.format_specifier { color: #CC696B; }
|
|
|
|
.mutable { text-decoration: underline; }
|
2020-06-17 08:27:13 -05:00
|
|
|
.escape_sequence { color: #94BFF3; }
|
2020-06-02 17:49:09 -05:00
|
|
|
.keyword { color: #F0DFAF; font-weight: bold; }
|
|
|
|
.keyword.unsafe { color: #BC8383; font-weight: bold; }
|
|
|
|
.control { font-style: italic; }
|
2020-07-11 07:50:00 -05:00
|
|
|
|
|
|
|
.unresolved_reference { color: #FC5555; text-decoration: wavy underline; }
|
2020-06-02 17:49:09 -05:00
|
|
|
</style>
|
2020-07-15 09:34:11 -05:00
|
|
|
<pre><code><span class="keyword unsafe">unsafe</span> <span class="keyword">fn</span> <span class="function declaration unsafe">unsafe_fn</span><span class="punctuation">(</span><span class="punctuation">)</span> <span class="punctuation">{</span><span class="punctuation">}</span>
|
2020-06-02 17:49:09 -05:00
|
|
|
|
2020-08-06 20:15:31 -05:00
|
|
|
<span class="keyword">union</span> <span class="union declaration">Union</span> <span class="punctuation">{</span>
|
|
|
|
<span class="field declaration">a</span><span class="punctuation">:</span> <span class="builtin_type">u32</span><span class="punctuation">,</span>
|
|
|
|
<span class="field declaration">b</span><span class="punctuation">:</span> <span class="builtin_type">f32</span><span class="punctuation">,</span>
|
|
|
|
<span class="punctuation">}</span>
|
|
|
|
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="keyword">struct</span> <span class="struct declaration">HasUnsafeFn</span><span class="punctuation">;</span>
|
2020-06-02 17:49:09 -05:00
|
|
|
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="keyword">impl</span> <span class="struct">HasUnsafeFn</span> <span class="punctuation">{</span>
|
2020-07-20 09:21:40 -05:00
|
|
|
<span class="keyword unsafe">unsafe</span> <span class="keyword">fn</span> <span class="function declaration unsafe">unsafe_method</span><span class="punctuation">(</span><span class="operator">&</span><span class="self_keyword">self</span><span class="punctuation">)</span> <span class="punctuation">{</span><span class="punctuation">}</span>
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="punctuation">}</span>
|
2020-06-02 17:49:09 -05:00
|
|
|
|
2020-08-06 18:58:37 -05:00
|
|
|
<span class="keyword">struct</span> <span class="struct declaration">TypeForStaticMut</span> <span class="punctuation">{</span>
|
|
|
|
<span class="field declaration">a</span><span class="punctuation">:</span> <span class="builtin_type">u8</span>
|
|
|
|
<span class="punctuation">}</span>
|
|
|
|
|
2020-08-06 19:07:42 -05:00
|
|
|
<span class="keyword">static</span> <span class="keyword">mut</span> <span class="static declaration mutable unsafe">global_mut</span><span class="punctuation">:</span> <span class="struct">TypeForStaticMut</span> <span class="operator">=</span> <span class="struct">TypeForStaticMut</span> <span class="punctuation">{</span> <span class="field">a</span><span class="punctuation">:</span> <span class="numeric_literal">0</span> <span class="punctuation">}</span><span class="punctuation">;</span>
|
2020-08-06 18:58:37 -05:00
|
|
|
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="keyword">fn</span> <span class="function declaration">main</span><span class="punctuation">(</span><span class="punctuation">)</span> <span class="punctuation">{</span>
|
2020-07-20 10:36:23 -05:00
|
|
|
<span class="keyword">let</span> <span class="variable declaration">x</span> <span class="operator">=</span> <span class="operator">&</span><span class="numeric_literal">5</span> <span class="keyword">as</span> <span class="keyword">*</span><span class="keyword">const</span> <span class="builtin_type">usize</span><span class="punctuation">;</span>
|
2020-08-07 08:24:20 -05:00
|
|
|
<span class="keyword">let</span> <span class="variable declaration">u</span> <span class="operator">=</span> <span class="union">Union</span> <span class="punctuation">{</span> <span class="field">b</span><span class="punctuation">:</span> <span class="numeric_literal">0</span> <span class="punctuation">}</span><span class="punctuation">;</span>
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="keyword unsafe">unsafe</span> <span class="punctuation">{</span>
|
|
|
|
<span class="function unsafe">unsafe_fn</span><span class="punctuation">(</span><span class="punctuation">)</span><span class="punctuation">;</span>
|
2020-08-07 08:33:40 -05:00
|
|
|
<span class="keyword">let</span> <span class="variable declaration">b</span> <span class="operator">=</span> <span class="variable">u</span><span class="punctuation">.</span><span class="field unsafe">b</span><span class="punctuation">;</span>
|
2020-08-06 20:15:31 -05:00
|
|
|
<span class="keyword control">match</span> <span class="variable">u</span> <span class="punctuation">{</span>
|
2020-08-07 08:33:40 -05:00
|
|
|
<span class="union">Union</span> <span class="punctuation">{</span> <span class="field unsafe">b</span><span class="punctuation">:</span> <span class="numeric_literal">0</span> <span class="punctuation">}</span> <span class="operator">=></span> <span class="punctuation">(</span><span class="punctuation">)</span><span class="punctuation">,</span>
|
|
|
|
<span class="union">Union</span> <span class="punctuation">{</span> <span class="field unsafe">a</span> <span class="punctuation">}</span> <span class="operator">=></span> <span class="punctuation">(</span><span class="punctuation">)</span><span class="punctuation">,</span>
|
2020-08-06 20:15:31 -05:00
|
|
|
<span class="punctuation">}</span>
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="struct">HasUnsafeFn</span><span class="punctuation">.</span><span class="function unsafe">unsafe_method</span><span class="punctuation">(</span><span class="punctuation">)</span><span class="punctuation">;</span>
|
2020-07-20 10:36:23 -05:00
|
|
|
<span class="keyword">let</span> <span class="variable declaration">y</span> <span class="operator">=</span> <span class="operator unsafe">*</span><span class="punctuation">(</span><span class="variable">x</span><span class="punctuation">)</span><span class="punctuation">;</span>
|
|
|
|
<span class="keyword">let</span> <span class="variable declaration">z</span> <span class="operator">=</span> <span class="numeric_literal">-</span><span class="variable">x</span><span class="punctuation">;</span>
|
2020-08-06 19:07:42 -05:00
|
|
|
<span class="keyword">let</span> <span class="variable declaration">a</span> <span class="operator">=</span> <span class="static mutable unsafe">global_mut</span><span class="punctuation">.</span><span class="field">a</span><span class="punctuation">;</span>
|
2020-07-15 09:34:11 -05:00
|
|
|
<span class="punctuation">}</span>
|
|
|
|
<span class="punctuation">}</span></code></pre>
|