This only changes the version of the standard used. It does not introduce use of new functionality.
5.7 KiB
DXX-Rebirth requires a compiler that implements the C++17 standard. A fully conforming compiler is recommended, but some omissions can be handled by SConf tests that enable a fallback to emulate the feature.
Required C++11 features
DXX-Rebirth code uses C++11 and C++14 features present in >=clang-9.0 and >=gcc-7.5. Some of these features are probed in the SConf tests so that an error can be reported if the feature is missing. However, since these are considered the minimum supported compiler versions, and existing SConf tests reject older compilers, some C++14 features that are new in gcc-7.5 may be used without a corresponding test in SConf.
These C++11 features are required to build DXX-Rebirth:
- Rvalue references
(
void a(A &&);
) - Variadic templates
(
template <typename... T> class A{};
) auto
-typed variables (auto a = f();
)- Trailing function return type (
auto f() -> int;
)
- Trailing function return type (
- Lambdas
(
f([]{ return 1; });
) decltype()
(typedef decltype(a()) b;
)- Alias templates
(
using A = B; template <typename T> using C = D<T, T>;
) - Null pointer constant
nullptr
(int *i = nullptr;
) - Strongly-typed enums
(
enum class E { ... };
) - Forward declaration for enums
(
enum E; ...; enum E { ... };
) - Generalized constant expressions
(
constexpr int a = 0;
) - Explicit conversion operators
(
explicit operator bool();
) - Defaulted and deleted functions
(
void a(int b) = delete;
) - Unique pointer template std::unique_ptr<T>
(
std::unique_ptr<int> i; std::unique_ptr<int[]> j;
) - Static assertions
std::addressof
Required C++14 features
std::index_sequence
is a compile-time sequence of integers.std::exchange
is a utility to update a variable, and yield the value it had before the updatestd::make_unique
is a convenience utility function for constructingstd::unique_ptr
with a managed value.
Optional C++11/C++14 features
DXX-Rebirth code may use C++11 or C++14 features not present in the minimum supported compiler if the feature can be emulated easily (C++11: inheriting constructors, Range-based for) or if the feature can be removed by a macro and the removal does not change the correctness of the program (C++11: rvalue-qualified member methods).
Optional C++11 features
Emulated if absent
- Inheriting constructors are wrapped by the macro
DXX_INHERIT_CONSTRUCTORS
. If inherited constructors are supported, thenDXX_INHERIT_CONSTRUCTORS
expands to ausing
declaration. If inherited constructors are not supported, thenDXX_INHERIT_CONSTRUCTORS
defines a variadic template constructor to forward arguments to the base class. - Range-based for is wrapped by the macro
range_for
. This feature is present in the current minimum supported compiler versions. It was first used when >=gcc-4.5 was the minimum. Use of therange_for
macro continues because it improves readability.
Preprocessed out if absent
- Reference-qualified methods check that an rvalue which may or may not hold a valid pointer is not used in a context where the caller assumes the rvalue holds a valid pointer. When the rvalue may or may not hold a valid pointer, it must be saved to an lvalue, tested for a valid pointer, and used only if a valid pointer is found.