std::ranges:: copy_n, std::ranges:: copy_n_result

이 페이지에서 설명하는 함수형 개체들은 algorithm function objects (일반적으로 niebloids 로 알려진)입니다. 즉:

• 명시적 템플릿 인수 목록은 이들 중 어느 것을 호출할 때도 지정할 수 없습니다.
• 이들 중 어느 것도 인수 의존 이름 검색 에 보이지 않습니다.
• 이들 중 어느 것이 일반 비한정 이름 검색 에 의해 함수 호출 연산자의 왼쪽 이름으로 발견될 때, 인수 의존 이름 검색 이 억제됩니다.

매개변수

반환값

ranges :: copy_n_result { first + n, result + n } 또는 더 공식적으로는, ranges::in_out_result 타입의 값으로, input_iterator 반복자를 ranges:: next ( first, n ) 와 동일하게 포함하고, weakly_incrementable 반복자를 ranges:: next ( result, n ) 와 동일하게 포함합니다.

복잡도

정확히 n 번의 할당.

참고 사항

실제로, std::ranges::copy_n 구현은 값 타입이 TriviallyCopyable 이고 반복자 타입이 contiguous_iterator 를 만족하는 경우, 다중 할당을 피하고 std::memmove 와 같은 벌크 복사 함수를 사용할 수 있습니다. 또는 이러한 복사 가속화는 컴파일러의 최적화 단계에서 주입될 수 있습니다.

겹치는 범위를 복사할 때, std::ranges::copy_n 는 왼쪽으로 복사할 때(대상 범위의 시작이 소스 범위 밖에 있을 때) 적합한 반면, std::ranges::copy_backward 는 오른쪽으로 복사할 때(대상 범위의 끝이 소스 범위 밖에 있을 때) 적합합니다.

가능한 구현

struct copy_n_fn
{
    template<std::input_iterator I, std::weakly_incrementable O>
    requires std::indirectly_copyable<I, O>
    constexpr ranges::copy_n_result<I, O>
        operator()(I first, std::iter_difference_t<I> n, O result) const
    {
        for (; n-- > 0; (void)++first, (void)++result)
            *result = *first;
        return {std::move(first), std::move(result)};
    }
};
inline constexpr copy_n_fn copy_n{};

예제

#include <algorithm>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <string_view>
int main()
{
    const std::string_view in{"ABCDEFGH"};
    std::string out;
    std::ranges::copy_n(in.begin(), 4, std::back_inserter(out));
    std::cout << std::quoted(out) << '\n';
    out = "abcdefgh";
    const auto res{std::ranges::copy_n(in.begin(), 5, out.begin())};
    const auto i{std::distance(std::begin(in), res.in)};
    const auto j{std::distance(std::begin(out), res.out)};
    std::cout << "in[" << i << "] = '" << in[i] << "'\n"
              << "out[" << j << "] = '" << out[j] << "'\n";
}

"ABCD"
in[5] = 'F'
out[5] = 'f'

참고 항목