템플릿을 사용하여 멤버간에 제약 조건을 표현하는 방법은 무엇입니까?</p> <pre><code>struct foo { int len; bar *stuff; }; </code></pre> <p>이 너무 오래 <code>len</code>입니다 <code>bar</code>의 배열을 가리 킵니다 <code>stuff</code>을 공교롭게도 :

Question

내가 회원의 무리와 함께 구조체를 말한다. 이걸 님의 타입으로 인코딩하고 싶습니다. 그래서 같은 :

struct foo { 
    int len; 
    DependentLength<bar, &foo::len> stuff; 
}; 

는 그럼 난 바 배열에 대한 포인터처럼 행동하는 DependentLength을 구현할 수 있지만, foo::len보다 큰 인덱스에보고하려고 할 때 그 주장한다. 그러나 operator []는 하나의 매개 변수 인 인덱스 만 사용하고 멤버 포인터 템플릿 매개 변수를 역 참조하고 어설 션 검사를 수행하려면 'foo'객체의 위치를 ​​알아야하기 때문에 DependentLength<&foo::len>::operator[]을 구현할 수 없습니다.

그러나 DependentLength는 'foo'의 멤버로만 사용됩니다. 내가 정말로하고 싶은 것은 DependentLength가 foo 포인터에 상대적이 아닌 인 len 을 어디에서 찾을 수 있는지를 알려주는 것입니다. 그래서 DependentLength<(char*)&foo::stuff - (char*)&foo::len> stuff;과 비슷하지만, 합법적 인 C++가 아닙니다. 이 작업을 수행 할 수있는 악의적 인 언어 해킹이 잘못되었거나 실패 했습니까?

Answer 1

그래서 DependentLength<(char*)&foo::stuff - (char*)&foo::len> stuff;

당신은 실행 시간 동안 그들에게 전달 된 동적 속성 ... 템플릿에 대해 작동하지 않습니다 기반으로 계산을 수행 할 템플릿을 요구하고 같은 그들이 인스턴스화해야하기 때문에 컴파일시 템플릿 매개 변수로 요청한 코드를 compile time에 만들 수있는 값이 있습니다. 따라서 템플릿에 전달 된 모든 값은 런타임이 아닌 컴파일시 해석 가능해야합니다.

동적 컨테이너 유형을 사용해야합니다. 예를 들어 std::vector은 기본 컨테이너의 경계를 초과하는 경우 std::vector::at() 함수가 예외를 throw하는 요청을 처리합니다. 불행하게도 static_assert만큼 편리하지는 않지만 다시 경계를 위해 런타임 검사가 필요하기 때문에 static_assert을 사용하는 것은 불가능합니다. 또한 std::vector에는 operator[]에 대한 오버로드, 반복기, 크기에 대한 쿼리 등이 통합되어 있습니다.

Answer 2

템플릿에 길이로 사용할 오프셋을 지정할 수 있습니다.

template<typename T, typename LEN_T, ptrdiff_t LEN_OFFSET> 
class DependentArray 
{ 
public: 
    T& operator[](LEN_T i_offset) 
    { 
    if (i_offset < 0) throw xxx; 
    if (i_offset > this->size()) throw xxx; 
    return this->m_pArr[i_offset]; 
    } // [] 
private: 
    LEN_T& size() 
    { 
    return *reinterpret_cast<LEN_T*>(reinterpret_cast<char*>(this) + LEN_OFFSET); 
    } //() 
private: 
    T* m_pArr; 
}; 

struct foo 
{ 
    int len; 
    DependentArray<bar, int, -sizeof(int)> stuff; 
}; 

편집 2 : 다른 솔루션의

생각. 이 만드는

#define MEMBER_OFFSET(T,M) \ 
    (reinterpret_cast<char*>(&reinterpret_cast<T*>(0x10)->M) - \ 
    reinterpret_cast<char*>(reinterpret_cast<T*>(0x10))) 

template<typename T, typename LEN_T, typename SIZE_OFFSET_SUPPLIER> 
class FooDependentArray 
{ 
public: 
    T& operator[](LEN_T i_offset) 
    { 
    if (i_offset < 0) throw xxx; 
    if (i_offset > this->size()) throw xxx; 
    return this->m_pArr[i_offset]; 
    } // [] 
private: 
    LEN_T& size() 
    { 
    const ptrdiff_t len_offest = SIZE_OFFSET_SUPPLIER::getOffset(); 

    return *reinterpret_cast<LEN_T*>(reinterpret_cast<char*>(this) + len_offset); 
    } //() 
private: 
    T* m_pArr; 
}; 

struct FooSizeOffsetSupplier 
{ 
    static ptrdiff_t getOffset(); 
}; 

struct foo 
{ 
    int len; 
    DependentArray<bar, int, FooSizeOffsetSupplier> stuff; 
}; 

ptrdiff_t FooSizeOffsetSupplier::getOffset() 
{ 
    return MEMBER_OFFSET(Foo,m_len) - MEMBER_OFFSET(Foo,m_pArr); 
} //() 

이 가능 foo에 구성원을 추가 및 제거 : foo는 단지 크기 필드의 오프셋을 공급하고 그 방법을 정의하는 foo를 정의하고 오프셋을 계산할 수있다 후에하는 좋은 클래스를 사용합니다.