5

Вот исходник тесты

#include <common.hpp>
#include <stdio.h>
using namespace RFw;

int main() {
    Array<int> _a_;

    _a_.resize(5);

    _a_[2] = 'b';
    _a_[3] = 'a';

    printf("%c%c\n", *(_a_.provideElement(2)), *(_a_.provideElement(3)));

    return 0;
}

Так компилю:

c++ test.cpp -o test -std=c++11 -Isrc-core/ -Lbin/ -lcore

Вывод:

/tmp/test-k6aFM8.o: In function `main':                                                                                                                                                                              
test.cpp.text+0x27): undefined reference to `RFw::Array<int>::Array(unsigned int, int*)'                                                                                                                           
test.cpp.text+0x3a): undefined reference to `RFw::Array<int>::resize(unsigned int)'                                                                                                                                
test.cpp:(.text+0x52): undefined reference to `RFw::Array<int>::operator[](unsigned int)'                                                                                                                            
test.cpp:(.text+0x76): undefined reference to `RFw::Array<int>::operator[](unsigned int)'                                                                                                                            
test.cpp:(.text+0x9a): undefined reference to `RFw::Array<int>::provideElement(unsigned int)'
test.cpp:(.text+0xbd): undefined reference to `RFw::Array<int>::provideElement(unsigned int)'
test.cpp:(.text+0x101): undefined reference to `RFw::Array<int>::~Array()'
test.cpp:(.text+0x11b): undefined reference to `RFw::Array<int>::~Array()'
clang: error: linker command failed with exit code 1 (use -v to see invocation)

PS Array взят из Array.hpp который инклюдится в common.hpp

Array.hpp:

/**
 *      src-core/Array.hpp
 */
#ifndef _ARRAY_HPP_
#define _ARRAY_HPP_

#include "util.hpp"
#include "Object.hpp"
#include "arrayExceptions.hpp"

namespace RFw {
    template<typename TValue>
    class Array : public Object {
    public:
                                Array(intnum _length = 0, TValue* _array = nullptr);
        virtual                 ~Array();

        void                    addToTop(const TValue _element) throw(ArrayOverflowException);
        void                    addToEnd(const TValue _element) throw(ArrayOverflowException);
        void                    clone(const intnum _length, const TValue* _array);

        TValue*                 provideElement(const intnum _index) throw(IndexOutOfRangeException);
        const TValue*           provideElement(const intnum _index) const throw(IndexOutOfRangeException);

        TValue&                 operator[](const intnum _index) throw(IndexOutOfRangeException);
        const TValue&           operator[](const intnum _index) const throw(IndexOutOfRangeException);

        void                    resize(const intnum _newLentgh);

        const Array<TValue>     getClone() const;
        const intnum            getLength() const;
        const TValue*           getArray() const;
    private:
        intnum                  length__;
        TValue*                 array__;
    };
}

#endif //   _ARRAY_HPP_
11
  • @VladD, Значит что в исходниках либы всё ок, т.е. согласно статье. Тем более хедер используются прямо из исходников либы
    – drmgc
    9 ноя 2013 в 19:24
  • @VladD, готово
    – drmgc
    9 ноя 2013 в 19:43
  • @VladD, а где связь между "Я на своей стороне не могу создать нужные инстанциации" и "С шаблонами вы должны всегда помещать реализацию методов в header"? -- Я Вам показал, что с шаблонами совсем не обязательно помещать реализацию в header. Даже в случае разработки библиотеки. Sorry for this. ))
    – mega
    11 ноя 2013 в 3:45
  • 2
    >я ж написал в первом же комменте, что реализация методов в хедере необязательна Не было такого! И, кроме того, должны всегда Вы так и не удалили из ответа. >Но ... она обязательна, если шаблон экспортируется библиотекой. Шаблон невозможно экспортировать. Можно экспортировать только некоторые его реализации. Этим я Вас снова возвращаю к исходному вопросу: где же все таки озвученная связь?
    – mega
    11 ноя 2013 в 9:16
  • @mega: Шаблон невозможно экспортировать? А что, по-вашему, делает весь stl? И почти весь boost? std::vector находится не в вашем проекте. И я всё же считаю, что инстанциация конкретных реализаций шаблона — хак, правильное решение — реализация в хедере.
    – VladD
    11 ноя 2013 в 10:01

1 ответ 1

6

С шаблонами вы должны помещать реализацию методов в header.

В вашем случае пишите так:

template<typename TValue>
class Array : public Object {
public:
    Array(intnum _length = 0, TValue* _array = nullptr) :
        length__(_length),
        array__(new TValue[_length]) {
        // остаток имплементации
    }
    virtual  ~Array() {
        delete[] array__;
    }
    // и так далее
};

Если вы вынесете реализацию методов в .cpp-файл, компилятор не будет знать, какие инстанциации шаблона ему нужно компилировать. Это ограничение модели компиляции языка C++. Sorry for this.


Небольшое объяснение. В C++ шаблон не есть класс, это лишь «описание», по которому при подстановке шаблонных аргументов генерируется реальный класс. Никакого объектного кода шаблон сам по себе не производит.

Когда компилятор компилирует C++-файл с кодом, использующим шаблон, он видит, с каким шаблонным аргументом используется этот шаблон. Но когда он компилирует C++-файл с реализацией шаблонных методов, он не знает, с какими аргументами инстанциировался шаблон в других файлах, ведь каждый C++-файл компилируется по отдельности!

Поэтому решением является положить реализацию внутрь шаблонного класса. При этом компилятор в той точке, где он видит инстанциацию шаблона, видит весь его код, и может скомпилировать все методы класса.

(Существует ещё уродливый костыль с указанием в C++-файле точного списка инстанциаций шаблона, который настолько ужасен, что я не хочу о нём и говорить. Аналогом этому было бы около каждой функции указывать заранее список всех аргументов, с которым функция будет вызвана в программе.)

25
  • >Если вы вынесете реализацию методов в .cpp-файл, компилятор не будет знать, какие инстанциации шаблона ему нужно компилировать. Это если только не скомпилировать в cpp конкретные специализации шаблона, которые только и используются в проекте. В таком случае реализации шаблонов можно спокойно выносить из заголовочных файлов. "Всегда" здесь лишнее!
    – mega
    10 ноя 2013 в 3:49
  • Большое спасибо, я с этим недели полторы не мог разобраться
    – drmgc
    10 ноя 2013 в 4:27
  • @mega: Согласен, был слишком категоричен. Тем не менее, для библиотеки такой подход всё равно неприемлем: откуда библиотечному .cpp знать, с какими типами клиент будет инстанциировать шаблон? Для небиблиотечного кода подход, о котором вы говорите, может быть хорошей альтернативой.
    – VladD
    10 ноя 2013 в 12:55
  • >откуда библиотечному .cpp знать, с какими типами клиент будет инстанциировать шаблон? Фишка статической библиотеки, которая мне тут оч. нравится, в том, что ей и не нужно покрывать все объявленные externals. Они вполне могут быть реализованы в другой библиотеке, или вообще user-кодом. Даже просто из соображений модульной разработки ПО и оптимизации процедуры сборки больших проектов этот вариант более чем приемлем.
    – mega
    10 ноя 2013 в 13:09
  • @mega: Ничего не понял — мой C++ возможно немного заржавел от нечастого использования. Можете показать пример с кодом?
    – VladD
    10 ноя 2013 в 13:12

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.