std::is_sufficiently_aligned(C++26)

namespace std {
  template<size_t Alignment, class T>
    bool is_sufficiently_aligned(T* ptr);
}

概要

ポインタ値が指定したアライメントを満たすか否かを返す。

適格要件

Alignmentが2の累乗であること。

事前条件

ポインタpが、Tに類似(similar)した型のオブジェクトXを指すこと。

戻り値

Xが少なくともAlignmentでアライメントされるならばtrue。そうでなければfalse。

例外

投げない

備考

この関数は、フリースタンディング処理系でも使用できる。

この機能が必要になった背景・経緯

この関数テンプレートは<mdspan>ヘッダへのaligned_accessor導入に伴って必要とされた機能である。 一方で、ポインタ値のアライメント要件を検査するユースケースは一般的と考えられたため、汎用ユーティリティとして<memory>ヘッダに対して機能追加された。

例

#include <cassert>
#include <memory>
#include <new>

int main()
{
  int *ptr = new(std::align_val_t{32}) int;
  assert( std::is_sufficiently_aligned<32>(ptr) );
  delete ptr;
}

出力

実装例

// 提案文書P2897R7より引用
template<size_t ByteAlignment, class ElementType>
bool is_sufficiently_aligned(ElementType* p)
{
  return bit_cast<uintptr_t>(p) % ByteAlignment == 0;
}

バージョン

言語

• C++26

処理系

• Clang: ??
• GCC: ??
• Visual C++: ??

関連項目

• assume_aligned
• アライメント指定されたデータの動的メモリ確保

参照

• P2897R7 aligned_accessor: An mdspan accessor expressing pointer over-alignment
• LWG Issue 4286. Some more feature-test macros for fully freestanding features are not marked freestanding
  • C++26で、この関数がフリースタンディング処理系でも使用できる（フリースタンディング機能である）ことが明示された
• LWG Issue 4290. Missing Mandates clauses on is_sufficiently_aligned
  • C++26で、Alignmentが2の累乗であることの適格要件が追加された