Namespaces
Variants

    std::uninitialized_fill

    cppreference.net에서
     
    C++
     
    알고리즘 라이브러리
    제약된 알고리즘 및 범위 기반 알고리즘 (C++20)
    제약된 알고리즘, 예: ranges::copy, ranges::sort, ...
    정렬 및 관련 연산
    분할 연산
    (C++11)    
    (C++11)

    정렬 연산
    이진 검색 연산
    (분할된 범위에 대해)
    집합 연산 (정렬된 범위에 대해)
    병합 연산 (정렬된 범위에 대해)
    힙 연산
    최소/최대 연산
    (C++11)
    (C++17)
    사전식 비교 연산
    (C++20)
    순열 연산


     
    특수 메모리 알고리즘 <memory> 알고리즘
    도우미 템플릿 (설명 전용*)
    (C++17)
    객체 (일괄) 생성
    객체 (일괄) 소멸
    (C++17)
    (C++17)
    (C++17)
     
    헤더에 정의됨<memory> 
    template< class NoThrowForwardIt, class T >
void uninitialized_fill( NoThrowForwardIt first,
                         NoThrowForwardIt last, const T& value );
    		(1) (C++26부터 constexpr) 
    template< class ExecutionPolicy, class NoThrowForwardIt, class T >
void uninitialized_fill( ExecutionPolicy&& policy,
                         NoThrowForwardIt first,
                         NoThrowForwardIt last, const T& value );
    		(2) (C++17부터)
    1) 대상 범위의 요소들을 생성합니다[first, last) 주어진 값으로value 다음과 같이 수행됩니다

    for (; first != last; ++first)
        ::new (voidify(*first))
            typename std::iterator_traits<NoThrowForwardIt>::value_type(value);

    초기화 중 예외가 발생하면 이미 생성된 객체들은 지정되지 않은 순서로 소멸됩니다.
    2) 1)과 동일하지만,(1),policy에 따라 실행됩니다.
    이 오버로드는 다음 표현식의 값이 true인 경우에만 오버로드 해결에 참여합니다:

    std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

    		(C++20까지)

    std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

    		(C++20부터)

    매개변수

    first, last - 초기화할 요소들의 범위 를 정의하는 반복자 쌍
    value - 요소들을 생성할 값
    policy - 사용할 실행 정책
    타입 요구사항
    -
    NoThrowForwardIt 는 LegacyForwardIterator 요구사항을 충족해야 함
    -
    NoThrowForwardIt 의 유효한 인스턴스를 통한 증가, 할당, 비교, 간접 참조 연산은 예외를 발생시켜서는 안 됨 NoThrowForwardIt 값에 & * 를 적용하면 해당 값 타입의 포인터를 반환해야 함 (C++11 이전)

    예외

    2) 실행 과정 중:
    • 병렬화에 필요한 임시 메모리 자원을 사용할 수 없는 경우, std::bad_alloc이 던져집니다.
    • 알고리즘 인수를 통해 객체에 접근하는 동안 처리되지 않은 예외가 던져지면, 동작은 실행 정책에 따라 결정됩니다(표준 정책의 경우 std::terminate가 호출됩니다).

    참고

    기능 테스트 매크로 값 표준 기능
    __cpp_lib_raw_memory_algorithms 202411L (C++26) constexpr를 위한 특수화된 <memory>알고리즘, (1)

    가능한 구현 

    template<class NoThrowForwardIt, class T>
constexpr void uninitialized_fill(NoThrowForwardIt first, NoThrowForwardIt last,
                                  const T& value)
{
    using V = typename std::iterator_traits<NoThrowForwardIt>::value_type;
    NoThrowForwardIt current = first;
    try
    {
        for (; current != last; ++current)
            ::new (static_cast<void*>(std::addressof(*current))) V(value);
    } 
    catch (...)
    {
        for (; first != current; ++first)
            first->~V();
        throw;
    }
}

    예제

    이 코드 실행 
    #include <algorithm>
#include <iostream>
#include <memory>
#include <string>
int main()
{
    const std::size_t sz = 4;
    std::allocator<std::string> alloc;
    std::string* p = alloc.allocate(sz);
    std::uninitialized_fill(p, p + sz, "Example");
    for (std::string* i = p; i != p + sz; ++i)
    {
        std::cout << *i << '\n';
        i->~basic_string<char>();
    }
    alloc.deallocate(p, sz);
}

    출력: 

    Example
Example
Example
Example

    결함 보고서

    다음 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었습니다.

    DR 적용 대상 발표 시 동작 올바른 동작
    LWG 866 C++98 주어진 T를 NoThrowForwardIt의 값 타입으로, 만약
    T::operator new이 존재하면 프로그램이 잘못된 형식(ill-formed)이 될 수 있음     		대신 전역 배치 new을 사용함
    LWG 2433 C++11 이 알고리즘은 오버로드된 operator& 사용 std::addressof

    참고 항목

    		시작 위치와 개수로 정의된 초기화되지 않은 메모리 영역에 객체를 복사합니다
    (function template)
    (C++20)
    		범위로 정의된 초기화되지 않은 메모리 영역에 객체를 복사합니다
    (algorithm function object)