템플릿 인스턴스화 및 기호 테이블에서 C++ 코드가 부 풀리지 않도록하려면?

Question

몇 년 전에 베어 메탈 (Cortex-M) 프로젝트를 시작했습니다. 프로젝트 설정에서 우리는 gcc toolchain을 C++ 11/C++ 14 등으로 사용하기로 결정했고 C++ 예외 및 rtti를 사용하기도했습니다.

우리는 현재 gcc 4.9 from launchpad.net/gcc-arm-embedded (최근 gcc 버전으로 업데이트하지 못하게하는 문제가 있음)을 사용하고 있습니다. 그래서 내 클래스의 고객이 지금 예를 사용할 수 있음을

class OutStream { 
public: 
    explicit OutStream() {} 
    virtual ~OutStream() {} 
    OutStream& operator << (const char* s) { 
     write(s, strlen(s)); 
     return *this; 
    } 
    virtual void write(const void* buffer, size_t size) = 0;  
}; 

class FixedMemoryStream: public OutStream { 
public: 
    explicit FixedMemoryStream(void* memBuffer, size_t memBufferSize): memBuffer(memBuffer), memBufferSize(memBufferSize) {} 
    virtual ~FixedMemoryStream()  {} 
    const void* getBuffer() const  { return memBuffer; } 
    size_t  getBufferSize() const { return memBufferSize; } 
    const char* getText() const  { return reinterpret_cast<const char*>(memBuffer); } ///< returns content as zero terminated C-string  
    size_t  getSize() const  { return index; }          ///< number of bytes really written to the buffer (max = buffersize-1) 
    bool   isOverflow() const { return overflow; } 
    virtual void write(const void* buffer, size_t size) override { /* ... */ } 
private: 
    void* memBuffer = nullptr; ///< buffer 
    size_t memBufferSize = 0;  ///< buffer size 
    size_t index = 0;    ///< current write index 
    bool overflow = false;  ///< flag if we are overflown 
}; 

: 예를 들어

, 나는 기본 클래스와 같은 파생 클래스 (또한 실행 참조 예 here)를 쓴 것

template<size_t bufferSize> class FixedMemoryStreamWithBuffer: public FixedMemoryStream { 
public: 
    explicit FixedMemoryStreamWithBuffer(): FixedMemoryStream(buffer, bufferSize) {} 
private: 
    uint8_t buffer[bufferSize]; 
}; 

: 이제

char buffer[10]; 
FixedMemoryStream ms1(buffer, sizeof(buffer)); 
ms1 << "Hello World"; 

내가 클래스의 사용이 좀 더 편안하게하고 싶은 것은 다음과 같은 템플릿을 도입 16,

그리고 지금부터, 내 고객이 쓸 수 있습니다 :

FixedMemoryStreamWithBuffer<10> ms2; 
ms2 << "Hello World"; 

하지만 지금부터, 내 실행 가능한 바이너리의 크기를 증가 동안 있었던

. gcc는 FixedMemoryStreamWithBuffer의 각기 다른 템플릿 인스턴스화에 대한 심볼 정보를 추가 한 것 같습니다 (우리는 어떤 이유로 rtti를 사용하고 있기 때문입니다).

일부 특정 클래스/템플릿/템플릿 인스턴스화에 대한 심볼 정보 만 제거 할 수있는 방법이 있습니까?

휴대용이 아닌 gcc 전용 솔루션을 사용하는 것이 좋습니다.

우리는 전처리 매크로 대신 템플릿을 선호하기 때문에 전 처리기 솔루션을 피하고 싶습니다.

Answer 1

예, 표준 라이브러리를 사용하여 필요한 기호를 거의 0까지 가져 오는 방법이 있습니다. OutStream 클래스는 std::basic_ostream의 단순화 된 버전입니다. OutStream::write은 실제로는 std::basic_ostream::write입니다. 그것을보십시오 here. 오버플로는 완전히 밀접하게 처리되지만, 완전성을 위해 underflow 즉 데이터 검색의 필요성도 처리합니다. 정의되지 않은 상태로 둘 수 있습니다 (virtual도 있음).

마찬가지로, FixedMemoryStream은 고정 크기 (std::array<T>) get/put 영역의 std::basic_streambuf<T>입니다.

표준 클래스에서 클래스를 상속 받아 선언 된 심볼을 다시 사용하기 때문에 바이너리 크기를 줄일 수 있습니다.

---

이제 template<size_t bufferSize> class FixedMemoryStreamWithBuffer에 관해서. 이 클래스는 메모리가 지정되고 획득되는 방법과 마찬가지로 std::array<std::uint8_t, bufferSize>과 매우 유사합니다. 은에 대해 그다지 최적화 할 수 없습니다. 각각의 인스턴스는 다른 유형과 모든 유형이 포함됩니다. 컴파일러는 그들에 대해 "병합"하거나 마술을 할 수 없습니다 : 각 인스턴스는 고유 한 유형을 가져야합니다. 따라서 std::vector으로 돌아가거나 32, 128 등의 고정 크기 특수 덩어리가 있고 사이에있는 값으로 올바른 것이 선택됩니다. 이것은 컴파일 타임에 완전히 달성 될 수 있으므로 런타임 비용이 들지 않습니다.모든

Answer 2

먼저 모든 FixedMemoryStreamWithBuffer <> 상속 체인 경우뿐만 아니라, 모든 클래스의 입력을위한 컴파일러는 (RTTI 정보뿐만 아니라) 별도의 V-테이블을 생성하는 것을 명심.

template<size_t bufferSize> 
    class FixedMemoryStreamWithBuffer 
    { 
     uint8_t buffer[bufferSize]; 
     FixedMemoryStream m_stream; 
    public: 
     explicit FixedMemoryStreamWithBuffer() : m_stream(m_buffer, bufferSize) {} 
     operator FixedMemoryStream&() { return m_stream; } 
     FixedMemoryStream& toStream() { return m_stream; } 
    };