포인터를 직접 사용해서 루프를 돌려도 될까요?

1. 명백히 질문자님의 코드는 C가 아니라 C++입니다.
C에는 없고 C++에만 있는 템플릿 매개변수를 강하게 암시하는 타입이름 T야 뭐 흉내낼 수 있는 거지만,
srcint.insert와 같은 멤버 함수 호출은 C++ 코드임을 보여주는 확실한 증거죠.

2. C++에서 포인터는 비교 가능합니다.
C++11 표준 기준,
> 5.9 Relational operators (<, >, <=, >=)
2 Pointers to objects or functions of the same type (after pointer conversions) can be compared, with a result defined as follows:

— If two pointers p and q of the same type point to the same object or function, or both point one past the end of the same array, or are both null, then p<=q and p>=q both yield true and p<q and p>q both yield false.

— If two pointers p and q of the same type point to different objects that are not members of the same object or elements of the same array or to different functions, or if only one of them is null, the results of p<q, p>q, p<=q, and p>=q are unspecified.

— If two pointers point to non-static data members of the same object, or to subobjects or array elements of such members, recursively, the pointer to the later declared member compares greater provided the two members have the same access control (Clause 11) and provided their class is not a union.

— If two pointers point to non-static data members of the same object with different access control (Clause 11) the result is unspecified.

— If two pointers point to non-static data members of the same union object, they compare equal (after conversion to void*, if necessary). If two pointers point to elements of the same array or one beyond the end of the array, the pointer to the object with the higher subscript compares higher.

— Other pointer comparisons are unspecified. (발췌됨)

> 5.10 Equality operators (==, !=)
1 Pointers of the same type (after pointer conversions) can be compared for equality. Two pointers of the same type compare equal if and only if they are both null, both point to the same function, or both represent the same address (발췌됨)

중요한 내용 굵게 했습니다만 한국어로 요약정리:
두 포인터가 같은 타입을 가리키고 어찌됐든 간에 같은 object나 function을 가리키거나, 똑같은 배열의 one past the end 지점을 가리키고 있다면, 두 포인터를 <, >로 비교하면 false이고 <=, >=으로 비교하면 true입니다. 반면 두 포인터가 같은 배열 안의 원소 혹은 one past the end를 가리킨다면, 그 대소 관계는 배열 안에서의 인덱스 크기 대소 관계와 같습니다. ==는 더 간단해서, 같은 타입을 가리키는 두 포인터가 1) 둘 다 NULL이거나, 2) 같은 함수를 가리키거나 3) 어찌됐든 같은 주소를 가리키면 true입니다. !=는 그 반대.

여기서 주목해야 할 게, 언어 표준에 덜 익숙하다면 잘 모르실 수 있는 one past the end입니다. C/C++ 표준은 가끔 표준이 번잡해지는 걸 감수하고 프로그래머에게 편의 기능을 제공하는데, 바로 이 경우가 대표적이죠. int arrint[10];와 같이 선언&정의하였으면 arrint[0]부터 arrint[9]까지만 유효하고 사용 가능해야 할 것 같지만, 사실은 마지막 원소 arrint[9]의 바로 다음 주소, 그러니까 arrint+10까지도 유효하다는 거에요.

> 5.7 Additive operators
5 When an expression that has integral type is added to or subtracted from a pointer, the result has the type of the pointer operand. If the pointer operand points to an element of an array object, and the array is large enough, the result points to an element offset from the original element such that the difference of the subscripts of the resulting and original array elements equals the integral expression. In other words, if the expression P points to the i-th element of an array object, the expressions (P)+N (equivalently, N+(P)) and (P)-N (where N has the value n) point to, respectively, the i + n-th and i − n-th elements of the array object, provided they exist. Moreover, if the expression P points to the last element of an array object, the expression (P)+1 points one past the last element of the array object, and if the expression Q points one past the last element of an array object, the expression (Q)-1 points to the last element of the array object. If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.

바로 이게 one past the end의 개념이며, STL 컨테이너가 제공하는 end() 반복자 개념의 원형입니다. 어쨌건 이런 포인터를 만드는 건 분명히 합법적입니다.

조금 미묘한 게 하나 남긴 했어요. 일반적으로 one past the end 포인터는 역참조하면 안 됩니다. 그런데 질문자님께서 쓰신 표현 &arrint[10]는 다시 말하면 &(*(arrint+10))이거든요? 이는 내부적으로 one past the end 포인터를 일단 한 번 역참조하는 꼴이라, 솔직히 이런 표현이 표준에 의거해 안전한지 확신이 안 듭니다. 일단 g++한테 넘겨 보니까 경고를 전부 켜도 한 마디 불평도 없던데, 특정 구현환경이란 게 가끔은 표준보다 더 관대할 수도 있는 거라서 엄밀한 판단 근거라기엔 좀 부족하거든요. 그래서 지금 표준에서 관련 내용을 찾아보고 있는데 잘 모르겠어요. 제가 내공이 떨어지나 봅니다. 다른 고수님들께서 이 글을 보셨다면 알려주신다면 감사드리겠습니다. 중요하니까 강조. 대신, arrint+10는 확실히 안전합니다.

3. 요약정리
네 됩니다.

저로서는 질문자님이 왜 일부러 iterator를 배제하고 작성하시려는지는 잘 모르겠어요. iterator는 일반화된 포인터 아니던가요. 아주 약간만 신경써 주면 (포인터를 포함해) 양방향 반복자 정도까진 가볍게 지원할 수 있을 텐데요.

뭐, 짜는 사람 맘이죠. 어쨌거나 포인터만 지원할 거면 first < last 등의 조건을 무난히 사용 가능하고, 저라면 first != last를 주로 쓸 겁니다. 이 조건문은 양방향 반복자에도 적용 가능하니까요.

아, 물론, insert 함수를 호출하는 쪽에서 협조를 안 해 주면 insert 함수 안에서도 할 수 있는 게 별로 없습니다. 예컨대 first와 last를 서로 다른 배열에서 가져다 넘겨준다던가. 이런 건 insert 함수 안에서 검사할 방법조차 없기 때문에 배를 째는 수밖에 없어요. 호출자가 그런 짓을 안 하리라고 믿고 그냥 짜는거죠. STL 라이브러리 알고리즘들도 대체로 그렇게 돌아갑니다. ~_~

4. 덤
size_t insert(size_t position, const T* first, const T* last)는 어때요? const는 붙여야 제맛!