Microsoft 전용
포인터 형식을 반환하는 함수 선언 또는 정의에 적용될 때 restrict
은(는) 함수가 앨리어싱되지 않은 개체, 즉 다른 포인터에 의해 참조되는 개체를 반환한다는 것을 컴파일러에 알려줍니다. 이렇게 하면 컴파일러가 추가 최적화를 수행할 수 있습니다.
구문
__declspec(restrict)
pointer_return_type 함수();
설명
컴파일러가 __declspec(restrict)
을(를) 전파합니다. 예를 들어 CRT malloc
함수에는 __declspec(restrict)
장식이 있으므로 컴파일러는 malloc
에 의해 메모리 위치로 초기화된 포인터도 기존 포인터에 의해 별칭이 지정되지 않는다고 가정합니다.
컴파일러는 반환된 포인터가 실제로 별칭이 지정되지 않았는지 확인하지 않습니다. 프로그램이 restrict __declspec 한정자로 표시된 포인터에 별칭을 지정하지 않도록 하는 것은 개발자의 책임입니다.
변수에 대한 유사한 의미 체계를 보려면 __restrict를 참조하세요.
함수 내의 앨리어싱에 적용되는 다른 주석은 __declspec(noalias)를 참조하세요.
C++ AMP의 일부인 restrict
키워드에 대한 자세한 내용은 restrict(C++ AMP)를 참조하세요.
예시
다음 샘플에서는 __declspec(restrict)
을(를) 사용하는 방법을 보여 줍니다.
포인터를 반환하는 함수에 __declspec(restrict)
을(를) 적용하면 반환 값이 가리키는 메모리에 별칭이 지정되지 않음을 컴파일러에 알릴 수 있습니다. 이 예제에서 mempool
및 memptr
포인터는 전역이므로 컴파일러는 참조하는 메모리에 별칭이 지정되지 않았는지 확인할 수 없습니다. 그러나 프로그램에서 참조하지 않는 메모리를 반환하는 방식으로 ma
및 해당 호출자 init
이(가) 사용되므로 최적화 프로그램을 돕기 위해 __decslpec(restrict)이 사용됩니다. 이는 CRT 헤더가 __declspec(restrict)
을(를) 사용하여 기존 포인터로 별칭을 지정할 수 없는 메모리를 항상 반환함을 나타내기 위해 malloc
와(과) 같은 할당 함수를 데코레이트하는 방법과 비슷합니다.
// declspec_restrict.c
// Compile with: cl /W4 declspec_restrict.c
#include <stdio.h>
#include <stdlib.h>
#define M 800
#define N 600
#define P 700
float * mempool, * memptr;
__declspec(restrict) float * ma(int size)
{
float * retval;
retval = memptr;
memptr += size;
return retval;
}
__declspec(restrict) float * init(int m, int n)
{
float * a;
int i, j;
int k=1;
a = ma(m * n);
if (!a) exit(1);
for (i=0; i<m; i++)
for (j=0; j<n; j++)
a[i*n+j] = 0.1f/k++;
return a;
}
void multiply(float * a, float * b, float * c)
{
int i, j, k;
for (j=0; j<P; j++)
for (i=0; i<M; i++)
for (k=0; k<N; k++)
c[i * P + j] =
a[i * N + k] *
b[k * P + j];
}
int main()
{
float * a, * b, * c;
mempool = (float *) malloc(sizeof(float) * (M*N + N*P + M*P));
if (!mempool)
{
puts("ERROR: Malloc returned null");
exit(1);
}
memptr = mempool;
a = init(M, N);
b = init(N, P);
c = init(M, P);
multiply(a, b, c);
}
Microsoft 전용 종료