Concept for a mutable type (tools/mutable_type.hpp)

• View this file on GitHub
• View document part on GitHub
• Last update: 2025-12-21 18:33:38+09:00
• Include: #include "tools/mutable_type.hpp"

template <typename T>
concept mutable_type = !std::is_const_v<std::remove_reference_t<T>>;

The concept is used to constrain template parameters to non-const types, ensuring that the referenced type can be modified.

Example

T	tools::mutable_type<T>
int	true
int&	true
int&&	true
const int	false
const int&	false
const int&&	false

Constraints

• None

Time Complexity

• Not applicable

License

• CC0

Author

• anqooqie

Required by

• Arbitrary precision floating-point number (tools/bigdecimal.hpp)
• Arbitrary precision integer (tools/bigint.hpp)
• Longest increasing subsequence (tools/lis.hpp)
• Matrix (tools/matrix.hpp)
• tools/matrix_mod2.hpp
• Permutation (tools/permutation.hpp)
• Quaternion (tools/quaternion.hpp)
• Rational number (tools/rational.hpp)

Verified with

• tests/bigdecimal/cast_to_long_long.test.cpp
• tests/bigdecimal/divides.test.cpp
• tests/bigdecimal/hand.test.cpp
• tests/bigdecimal/minus.test.cpp
• tests/bigdecimal/multiplies.test.cpp
• tests/bigdecimal/plus.test.cpp
• tests/bigdecimal/random.test.cpp
• tests/bigdecimal/rounding.test.cpp
• tests/bigint/divides.test.cpp
• tests/bigint/extgcd.test.cpp
• tests/bigint/gcd.test.cpp
• tests/bigint/minus.test.cpp
• tests/bigint/modulus.test.cpp
• tests/bigint/multiplies.test.cpp
• tests/bigint/plus.test.cpp
• tests/directed_line_segment_2d/cross_point.test.cpp
• tests/directed_line_segment_2d/crosses.test.cpp
• tests/directed_line_segment_2d/intersection.test.cpp
• tests/directed_line_segment_2d/squared_distance.test.cpp
• tests/fastio/string.test.cpp
• tests/gcd.test.cpp
• tests/groups.test.cpp
• tests/line_2d/projection.test.cpp
• tests/lis/bisect/no_restore.test.cpp
• tests/lis/bisect/restore.test.cpp
• tests/lis/segtree/no_restore.test.cpp
• tests/lis/segtree/restore.test.cpp
• tests/matrix/determinant.test.cpp
• tests/matrix/inv.test.cpp
• tests/matrix/multiplies.test.cpp
• tests/matrix/rank.test.cpp
• tests/matrix/ring.test.cpp
• tests/matrix/solve.test.cpp
• tests/matrix/static.test.cpp
• tests/matrix_mod2/determinant.test.cpp
• tests/matrix_mod2/inv.test.cpp
• tests/matrix_mod2/multiplies.test.cpp
• tests/matrix_mod2/rank.test.cpp
• tests/matrix_mod2/solve.test.cpp
• tests/monoids.test.cpp
• tests/multiplicative_structure.test.cpp
• tests/mutable_type.test.cpp
• tests/online_cumsum.test.cpp
• tests/pdsu.test.cpp
• tests/permutation.test.cpp
• tests/polygon_2d/area.test.cpp
• tests/quaternion/angle_axis.test.cpp
• tests/quaternion/dice_rotations.test.cpp
• tests/quaternion/look_rotation.test.cpp
• tests/quaternion/slerp.test.cpp
• tests/rational/minus.test.cpp
• tests/rational/multiplies.test.cpp
• tests/rational/plus.test.cpp
• tests/rational/random.test.cpp
• tests/triangle_2d/circumcircle/rational.test.cpp
• tests/tsort/query.test.cpp

Code

#ifndef TOOLS_MUTABLE_TYPE_HPP
#define TOOLS_MUTABLE_TYPE_HPP

#include <type_traits>

namespace tools {
  template <typename T>
  concept mutable_type = !std::is_const_v<std::remove_reference_t<T>>;
}

#endif

#line 1 "tools/mutable_type.hpp"



#include <type_traits>

namespace tools {
  template <typename T>
  concept mutable_type = !std::is_const_v<std::remove_reference_t<T>>;
}

Back to top page