шаблонный класс

есть шаблонный класс

template <class T>
class SomeClass {
...
}

хочется реализовать методы в *.cpp файле

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

но линковщик говорит, что не может найти
SomeClass<T>::Func()

как правильно определить метод - и можно ли это сделать вообще в *.cpp файле ?

Сообщение отредактировано: zss - 19.02.06, 12:44

Цитата zss @ 19.02.06, 12:42

можно ли это сделать вообще в *.cpp файле ?

Нет. Всё должно быть в хедере.

Добавлено 19.02.06, 12:46
А еще неплохо бы соблюдать Правила и использовать поиск -- обсуждалось неоднократно.

Не знаю, почему у тебя не работает. У меня все компилируется без ошибок.

// template.h
template <class T>
class SomeClass {
    void Func();
};

// template.cpp
#include "template.h"
template <class T> void SomeClass<T>::Func() {
    return;
}

Цитата Red Devil @ 20.02.06, 05:52

Не знаю, почему у тебя не работает. У меня все компилируется без ошибок.

хм...

странно. Ты точно уверен ?

Цитата Red Devil @ 20.02.06, 05:52

У меня все компилируется без ошибок.

А линкуется тоже без ошибок?

Цитата

Не знаю, почему у тебя не работает. У меня все компилируется без ошибок.

а если ты используешь SomeClass не в template.cpp разве будет без ошибок?

Цитата H.Iglesias II @ 20.02.06, 08:50

а если ты используешь SomeClass не в template.cpp разве будет без ошибок?

компилятор не проходит по шаблонному коду если он не разу не был упомянут в программе, потому и у
Red Devil все компилируется. Кстати, вот это тоже будет компилиться на ура, пока не будет явного вызова этой функции

template <class T>
void Func( T d )
{
  тут можно писать как угодно ;)
  допустим так:
  если компилятор ругается на это предложение то вы не правильно инстанцировали шаблон, правильно надо сделать так то и так то.
}

Сообщение отредактировано: Sazabis - 20.02.06, 19:26

Цитата Sazabis @ 20.02.06, 19:24

Кстати, вот это тоже будет компилиться на ура, пока не будет явного вызова этой функции

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

Цитата Hryak @ 20.02.06, 20:05

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

если "право", значит можно и ссылочку А вообще не понятно, как он собственно будет туда заглядывать ?? раз тип неизвестен, то там вообще непонятно как что работать должно.

Цитата Sazabis @ 20.02.06, 20:24

если "право", значит можно и ссылочку

Можно...

Цитата 14.6

-7- Knowing which names are type names allows the syntax of every template definition to be checked. No diagnostic shall be issued for a template definition for which a valid specialization can be generated. If no valid specialization can be generated for a template definition, and that template is not instantiated, the template definition is ill-formed, no diagnostic required. [Note: if a template is instantiated, errors will be diagnosed according to the other rules in this Standard. Exactly when these errors are diagnosed is a quality of implementation issue. ] [Example:

int j;
template<class T> class X {
    //  ...
    void f(T t, int i, char* p)
    {
        t = i;          //  diagnosed if  X::f  is instantiated
                //  and the assignment to  t  is an error
        p = i;          //  may be diagnosed even if  X::f  is
                //  not instantiated
        p = j;          //  may be diagnosed even if  X::f  is
                //  not instantiated
    }
    void g(T t) {
        +;              //  may be diagnosed even if  X::g  is
                //  not instantiated
    }
};

--- end example]

Цитата

А вообще не понятно, как он собственно будет туда заглядывать ?? раз тип неизвестен, то там вообще непонятно как что работать должно.

А это проблема компилятора.

Цитата

А линкуется тоже без ошибок?

На РСДН в юморе было такое:
"Компилируется - работает !"
Я именно это и имел в виду.

Мне форум почему-то не дает прикрепить ехешник или архив. Поэтому могу только тебе самому предлождить скопилить.

// ddd.cpp
template <class T>
class SomeClass {
public:
    char * Func();
};

#include <iostream.h>
#include <conio.h>
#include "ddd.cpp"
template <class T> char * SomeClass<T>::Func() {
    return "Template function\n";
}
 
void main() {
    SomeClass <int> a;
    cout<<a.Func();
    getch();
}

Сообщение отредактировано: Red Devil - 21.02.06, 06:07

Цитата Red Devil @ 21.02.06, 06:04

Поэтому могу только тебе самому предлождить скопилить

Ну так естественно. Ты попробуй main в другой срр вынести.
З.Ы. А инклюдить срр - моветон.

Как нефиг. Может сами уже будем хоть какие-то варианты проверять ?

Цитата

З.Ы. А инклюдить срр - моветон.

Мне влом было менять расширение, и для убыстрения создания примера я делал тяп-ляп.

// ddd.cpp
template <class T>
class SomeClass {
public:
    char * Func();
};

// dd.cpp
#include "ddd.cpp"
template <class T> char * SomeClass<T>::Func() {
    return "Template function\n";
}

#include <iostream.h>
#include <conio.h>
#include "dd.cpp"
void main() {
    SomeClass <int> a;
    cout<<a.Func();
    getch();
}

Цитата Guest

#include "dd.cpp"

Т.е. ты не делаешь разницы между .h и .cpp ?
Вообще-то, программисты (и вообще, и в данной ветке), говоря ".cpp" - подразумевают "единица трансляции". А единица трансляции (модуль) не получается просто сменой расширения на ".cpp". Так что твой "dd.cpp" - это обычный подключаемый файл, в котором и должно располагаться определение шаблона. Потому у тебя все и работает.

С таким же успехом можешь этот "dd.cpp" обозвать "dd.exe" и говорить, что определение шаблона может находиться даже прямо в экзешнике.

Сообщение отредактировано: Hryak - 22.02.06, 05:37

Цитата Guest @ 22.02.06, 05:11

Мне влом было менять расширение, и для убыстрения создания примера я делал тяп-ляп.

некрасивое не летает!
Тяп-ляп понаделаешь, потом сам себе ногу сломаешь.