템플릿 및 메모리 할당

Question

#include <iostream> 

template<class T> T CreateArray(T a, int n) 
{ 
    a = new T [n]; // mistake: double* = double** 
    return a; 
} 

int main() 
{ 
    double* a; 
    int n = 5; 
    a = CreateArray(a,n); 
    return 0; 
} 

템플릿을 사용하여 메모리를 할당하고 새로운 기능을 사용할 수 있습니까? 그리고 내 실수는?

Answer 1

코드에 잘못된 것이 있습니다. 첫째, 당신은 당신이 뭘 하려는지 뭔가를 할 수 있지만,이 같은 작성해야 : 당신이 (가 CreateArray 내부에 복사 될 a 배열을 전달하지 않아도

template<class T> T* CreateArray(int n) 
{ 
    T* a = new T [n]; 
    return a; 
} 

int main() 
{ 
    double* a; 
    int n = 5; 
    a = CreateArray<double>(n); 
    return 0; 
} 

주, 그 변경 사항은 main 안에 표시되지 않습니다. 템플릿 T*을 반환하도록 템플릿을 정의하십시오. 즉, main()a이 기대하는 템플릿입니다.

Answer 2

당신은 당신이 할당 할 유형에 포인터을 수용 할 :

template<class T> T* CreateArray(T* a, int n) 
{ 
    a = new T [n]; 
    return a; 
} 

이 트릭을 할해야합니다.

Answer 3

빈 포인터 값을 NULL로 유지하는 것을 선호합니다.

#include <iostream> 

template<class T> bool CreateArray(T * &a, int n) 
{ 
    if (a != 0) 
     return false; 
    a = new T [n]; 
    return true; 
} 

int main() 
{ 
    double* a = 0; 
    int n = 5; 
    CreateArray(a,n); 
    return 0; 
} 

vector도 좋은 해결책이 될 수 있습니다. 나는 당신이 기억 누출을 만들지 않기 때문에 더 나은 것이라고 생각한다.

Answer 4

다른 사람들은 코드가 작동하지 않는 이유와 개선 방법에 대해 설명했습니다.

이제

난 당신이 여전히 컴파일하려면 다음 코드를 얻을 수있는 방법을 보여 드리겠습니다 - 그리고 제대로 작동하려면 :

double* a = CreateArray(5); 
int* b = CreateArray(7); 

문제, 이미 언급 한 바와 같이, C++가에서 템플릿 인수를 추론하지 않는다는 것입니다 반환 유형 만

위의 함수가 간단한 프록시 개체를 반환하도록함으로써이 제한을 피할 수 있습니다. 프록시 개체에는 단일 작업이 있습니다. 즉 암시 적으로 T*으로 변환됩니다. 실제 할당이 이루어지는 곳입니다.

CreateArray 기능 때문에 매우 간단

(하고 있지 템플릿) 프록시로서는

CreateArrayProxy CreateArray(std::size_t num_elements) { 
    return CreateArrayProxy(num_elements); 
} 

: π로서

struct CreateArrayProxy { 
    std::size_t num_elements; 

    CreateArrayProxy(std::size_t num_elements) : num_elements(num_elements) { } 

    template <typename T> 
    operator T*() const { 
     return new T[num_elements]; 
    } 
}; 

쉬운.

이제이 코드를 사용해야합니까? 아니, 아마. 직접 할당보다 실질적인 이점은 없습니다. 그러나 그것을 아는 것은 유용한 관용구입니다.