шаблоны С++, возникла проблема... Опции

[Legotron]

Добрый день!

Помогите разобраться в чем ошибка?
Код следующий...

Код

template <class T>
class A {

public:

void Func();

};

template <class T>
void A<T>::Func()
{
}

void TestTemplate(void)
{
A<int> AObj;        // Создаем объект тип А для int
AObj.Func();        // Эта строка приводит к ошибке линкера  (исправил было A вместо AObj) :)
}

Этот код компилирутся без ошибок.
Ошибка возникает на этапе ликовки...

Код

*** ERROR L127: UNRESOLVED EXTERNAL SYMBOL
    SYMBOL:  Func__12SAS__tm__2_cFv_v
    MODULE:  EMF.obj (EMF)
*** ERROR L128: REFERENCE MADE TO UNRESOLVED EXTERNAL
    SYMBOL:  Func__12SAS__tm__2_cFv_v
    MODULE:  EMF.obj (EMF)
    ADDRESS: 16E8H
Target not created

Какие есть соображения по этому поводу?

Сообщение отредактировал Legotron - Apr 28 2007, 14:05

[DiMomite]

A.Func();           // Эта строка приводит к ошибке линкера

Заменить на
AObj.Func();
попробуй, или я чего-то не понял?
Потому что Builder у меня ругнулся на этапе компиляции:
[C++ Error] Unit1.cpp(32): E2102 Cannot use template 'A<T>' without specifying specialization parameters

Сообщение отредактировал DiMomite - Apr 28 2007, 13:59

[forever failure]

void TestTemplate(void)
{
A<int> AObj; // Создаем объект тип А для int
A.Func(); // Эта строка приводит к ошибке линкера
/* оно и неправильно. может имелось ввиду:*/
AObj.Func (); // ы ?
}

[Legotron]

void TestTemplate(void)
{
A<int> AObj; // Создаем объект тип А для int
A.Func(); // Эта строка приводит к ошибке линкера
/* оно и неправильно. может имелось ввиду:*/
AObj.Func (); // ы ?
}

Да правильно, имелось ввиду АObj!
Но ошибка не в этом!
Это я накосячил во время составления поста.
В проекте у меня совсем все подругому названо...
Я для простоты переделал в А, B, C.

[forever failure]

Дык проблема есть или исчерпана ?
Если есть - извольте полный пробленмый код изобразить (лучше тупым копи - пастом, дабы не внести ошибок) и ключи компиляции. И, кстати, указать какой компилятор/хост/таргет.

И, ещё. Объявление
template <class T>
class A {
public:
void Func();
};
и определение
template <class T>
void A<T>::Func()
{
}
находятся в одной единице трансляции или в разных ?

[Legotron]

Дык проблема есть или исчерпана ?

Проблема есть.

Теперь по порядку:

IDE/компилятор: Keil 166 EC++.
Проц Infineon XC167.

List.h...

Код

template <class T>
class TList {


struct _SList {

    T * item;
    struct _SList * next;
    struct _SList * prev;

};

    typedef struct _SList SList;

public:

    SList * base;
    SList * NewItem;
    
    TList(void) {base = NULL; NewItem = NULL;};
    void AddItem(T * PRec);
    U16 CountItems(void);

};

List.cpp...

Код

#include <stdio.h>                /* standard I/O .h-file              */

#include <stdlib.h>
#include <intrins.h>
#include <absacc.h>            // Absolute Memory Access
#include "main.h"
#include "gl.h"
#include "ec_error.h"
#include "Graph.h"
#include "List.h"

//------------------------------------------------------------------------------

template <class T>
void TList<T>::AddItem(T * PRec)
{
SList * Current;

if(base != NULL)
{
    Current = base;
    while(Current->next != NULL)
        Current = Current->next;

    NewItem = new SList;
    Current->next = NewItem;
    NewItem->next = NULL;
    NewItem->prev = Current;
    NewItem->item = PRec;
}
else
{
    base = new SList;
    base->next = NULL;
    base->prev = NULL;
    base->item = PRec;    
}

}

//------------------------------------------------------------------------------

template <class T>
U16 TList<T>::CountItems(void)
{
U16 i = 0;
SList * Current;

if(base != NULL)
{
    Current = base;
    while(Current->next != NULL)
    {
        Current = Current->next;
        i++;
    }
}
return i;
}
//------------------------------------------------------------------------------

Test.cpp...

Код

void Test(void)
{
U16 cnt;

TList<U16> A;
cnt  = A.CountItems();  // Без этой строчки никаких ошибок вообще нет!
}

P.S. Если ф-ции члены класса делать inline внутри класса - ошибок тоже нет
Вот, если не затруднит гляньте плз

[forever failure]

Самое простое и правильное в этом случае решение - перенести весь код, функций-членов шаблона класса из .cpp в заголовочный файл .h.

Более подробно почему и отчего так можно узнать например здесь

[Legotron]

Большое спасибо за помощь!
Сейчас проверить к сож. не могу. После праздников попробую сделать как вы сказали.

P.S.

Самое простое и правильное в этом случае решение - перенести весь код, функций-членов шаблона класса из .cpp в заголовочный файл .h.

При этом ф-ции описывать внутри класса? или просто в 1 модуле *.h?

Если внутри класса, то это неудобно.
Если в 1 модуле, тогда почему у меня не проходила ошибка, когда я описание класса помещал в .Cpp файл, где и ф-ции?

[forever failure]

Функции можно описывать где угодно, главное, чтобы в точке инстанцирования шаблона было видимо и описание прототипа шаблонной функции и определение её тела. Т. е. это дело можно расположить в заголовке, но определения вынести вне класса, а в классе поместить только объявления. А чтобы было возможно размещать определения шаблонов в отдельной единице трансляции (т. е. в другом файле .cpp), компилятор должен поддерживать ключевое слово export (или ещё называется это средство - exported templates) - возможность, определённую стандартом языка, но почти никем не поддерживаемую.

В общем см. ссылку выше.

[Legotron]

Что не совсем у меня выходит!

В принципе работает. Но только если тела ф-ций членов класса находятся внутри класса.

В случае "#include "file.cpp" /* брррр...... ахтунг, но работать будет*/" у меня действительно ахтунг.
Причем пример из статьи работает. А моя программа нет.

В примере в файле file.cpp
ф-ция с пустым телом

template <class T> C<T> :: C (void): t (1) {;}

В чем может быть дело?

Сообщение отредактировал Legotron - May 3 2007, 12:29

[dxp]

Что не совсем у меня выходит!

В принципе работает. Но только если тела ф-ций членов класса находятся внутри класса.

В случае "#include "file.cpp" /* брррр...... ахтунг, но работать будет*/" у меня действительно ахтунг.
Причем пример из статьи работает. А моя программа нет.

В примере в файле file.cpp
ф-ция с пустым телом

template <class T> C<T> :: C (void): t (1) {;}

В чем может быть дело?

Не понятно. Вы определения функций-членов шаблона вынесли в заголовок? Т.е. все определение шаблона - и сам шаблон-класс, и все его внешние определения (функции-члены) должны быть определены в заголовочном файле. Который уже включается. А в исходном файле только использование.