メタプログラミング

2019年6月21日2021年6月19日

このページでは、メタプログラミングのような機能を提供するライブラリコンポーネントについて説明します。ほとんどの場合、これらは契約によるデザインチェックをコードに入れたり、テンプレートを使ってさまざまな種類の賢いことをするのに役立ちます。

たとえば、T型をテンプレートとするテンプレート関数があり、Tがchar型またはwchar_t型のどちらかであることを確認したいとします。あなたはあなたのコードに以下を入れることができます、そしてそれはTがcharかwchar_t以外の何かに設定されたときコンパイルエラーを引き起こすでしょう。 
COMPILE_TIME_ASSERT（（is_same_type <T、char> :: value || is_same_type <T、wchar_t> :: value））;

オブジェクト

• basic_type
• compile_time_integer_list
• enable_if
• is_array
• is_array2d
• is_built_in_scalar_type
• is_complex
• is_config_reader
• is_const_type
• is_convertible
• is_directed_graph
• is_float_type
• is_function
• is_graph
• is_matrix
• is_pair
• is_pointer_type
• is_rand
• is_reference_type
• is_same_type
• is_signed_type
• is_std_vector
• is_unsigned_type
• make_compile_time_integer_range
• noncopyable
• promote
• static_switch
• tabs
• tmax
• tmin
• unsigned_type

グローバル関数

• ASSERT_ARE_NOT_SAME_TYPE
• ASSERT_ARE_SAME_TYPE
• assign_zero_if_built_in_scalar_type
• COMPILE_TIME_ASSERT
• DLIB_ASSERT
• DLIB_ASSERT_HAS_STANDARD_LAYOUT
• DLIB_CASSERT
• DLIB_MAKE_HAS_MEMBER_FUNCTION_TEST
• DLIB_STACK_TRACE
• DLIB_STACK_TRACE_NAMED
• get_stack_trace
• is_same_object
• wrap_function
• _dT

その他

• portability_macros