•  19-08-2019
  •  | 
  •  

문제

C 및 C ++의 쓰레기 수집가 인 LIBGC를 사용하고 있습니다. STL 컨테이너를 쓰레기 수집 가능한 것으로 만들려면 gc_allocator를 사용해야합니다.

글쓰기 대신 

std::vector<MyType>

하나는 써야합니다 

std::vector<MyType,gc_allocator<MyType> >

같은 것을 정의하는 방법이있을 수 있습니다 

template<class T> typedef std::vector<T,gc_allocator<T> > gc_vector<T>;

나는 얼마 전에 확인했고 그것이 불가능하다는 것을 알았습니다. 그러나 나는 틀렸거나 다른 방법이있을 수 있습니다.

이러한 방식으로 맵을 정의하는 것은 특히 불쾌합니다.

std::map<Key,Val>

becomes

std::map<Key,Val, std::less<Key>, gc_allocator< std::pair<const Key, Val> > >

편집 : 매크로 사용을 시도한 후 다음 코드를 발견했습니다.

#define gc_vector(T) std::vector<T, gc_allocator<T> >
typedef gc_vector( std::pair< int, float > ) MyVector;

템플릿 유형 정의 내부의 쉼표는 매크로 인수 분리기로 해석됩니다.

따라서 내부 클래스/구조물이 최상의 솔루션 인 것 같습니다.

다음은 C ++ 0X에서 수행되는 방법에 대한 예입니다.

// standard vector using my allocator
template<class T>
using gc_vector = std::vector<T, gc_allocator<T> >;

// allocates elements using My_alloc
gc_vector <double> fib = { 1, 2, 3, 5, 8, 13 };

// verbose and fib are of the same type
vector<int, gc_vector <int>> verbose = fib;
도움이 되었습니까?

해결책

C ++ 11 템플릿 유형 별칭을 사용할 수 있습니다. using 예, 이렇게

template <typename T>
using gc_vector = std::vector<T, gc_allocator<T>>;

참고 : 나는 이것이 오래된 질문이라는 것을 알고 있지만, 그것은 많은 upvotes를 가지고 있기 때문에 검색 결과에서 나타날 때 나는 그것이 업데이트 된 답변을받을 자격이 있다고 생각했습니다.

다른 팁

"템플릿 Typedef"를 사용할 수는 없지만 내부 유형의 편의 클래스/구조물을 사용할 수 있습니다.

template<typename T>
struct TypeHelper{
    typedef std::vector<T,gc_allocator<T> > Vector;
};

그런 다음 코드에서 사용하십시오

TypeHelper<MyType>::Vector v;
TypeHelper<MyType>::Vector::iterator it;

그리고지도와 비슷한 것 :

template<typename K,typename V>
struct MapHelper{
    typedef std::map<K, V, gc_allocator<K,V> > Map;
};

편집 - @vijay : 또 다른 가능한 해결 방법이 있는지 모르겠습니다. 그것이 내가하는 방법입니다. 매크로는 당신에게보다 작곡 표기법을 줄 수 있지만 개인적으로 나는 그것을 좋아하지 않을 것입니다.

#define GCVECTOR(T) std::vector<T,gc_allocator<T> >

편집 - @Chmike : TypeHelper 해결책 하지 않습니다 생성자를 재정의해야합니다!

공개적으로 상속받을 수 있습니다.

template<class T>
class gc_vector<T> : public std::vector<T, gc_allocator<T> >
{
    public:
    // You'll have to redeclare all std::vector's constructors here so that
    // they just pass arguments to corresponding constructors of std::vector
};

이것은 당신의 문제를 완전히 해결합니다. 파생 유형은 기본 유형을 사용할 수있는 모든 곳에서 사용할 수 있으며 괜찮은 컴파일러에는 구현 오버 헤드가 없습니다.

STD :: 벡터가 비 사건 소멸자가 있다는 사실은 기본 클래스 변수에 대한 포인터를 통해 파생 된 클래스 변수를 삭제하려고 시도하면 C ++ 표준에 따라 정의되지 않은 동작으로 이어질 수 있습니다.

실제 세계에서는이 특별한 경우에는 중요하지 않습니다. 파생 클래스는 기본 클래스에 비해 새로운 추가 기능이 없으므로 파생 클래스의 소멸자는 기본 클래스의 소멸자를 호출합니다. 편집증을 진행하고 어쨌든 조심스럽게 항구하십시오.

이 클래스 변수를 힙에 할당하지 않는 경우 (그리고 스택에 벡터 변수를 할당하는 것이 일반적이라면) 비 초당의 소멸 자 문제는 귀하에게 영향을 미치지 않습니다.

컴파일러를 한계로 밀고 싶다면 매크로로 수행 할 수 있습니다. Java의 "Future"및 "Callable"클래스에 대한 C ++ 등가물을 구현하는 동안 그렇게했습니다. 당사의 라이브러리는 참조 카운트 객체를 사용하므로 "참조u003CT> "자체는"t "가"참조 작업 "에서 파생되는 템플릿 클래스입니다.

1. Create your template Classes. Mine are:

    template<typename T>
    class Callable {
    private:

    public:
        virtual T Call() = 0;
    };

    template<typename T> CountedFuture : public ReferencedObject {
    private:
       Callable<T>* theTask;
       T            theResult;

    public:
       T Get() { 
          // Run task if necessary ...
          if(task) {
             theResult = theTask->Call();
             delete theTask;
          }
          return theResult;
       }
    };

2. In the application code I'm using references, so I define the macro:

   #define Future(T) Reference<CountedFuture<T>>

이것의 아름다움은 매크로가 "템플릿 typedef"에서 원하는 것을 정확하게 수행한다는 것입니다. 단점은 유형 매개 변수에 "<>"을 사용할 수 없으며 유형 추론이 없다는 것입니다. . 

3. I can now use the Macro wherever I would use a template, like in functions:

   Future(char*) DoSomething() { ... }
   bool          TestSomething(Future(std::string) f) { .... }
라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top