определение функции за пределами шаблона класса

[Romires]

не могу определить функцию за пределами класса, не компилится

Код:

template< typename TData >
class Owner
{
public:
  class Holder
  {
  public:
    TData i;
  };
  Holder foo(TData x);
};

template<typename TData> Owner<TData>::Holder Owner<TData>::foo(TData x)
{
  Holder tmp;
  tmp.i = x*x;
  return tmp;
}

1>d:\inteniumtest\task3\task3\task3\task3.cpp(19) : warning C4346: 'Owner<TData>::Holder' : dependent name is not a type
1>        prefix with 'typename' to indicate a type
1>d:\inteniumtest\task3\task3\task3\task3.cpp(19) : error C2143: syntax error : missing ';' before 'Owner<TData>::foo'
1>d:\inteniumtest\task3\task3\task3\task3.cpp(19) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
1>d:\inteniumtest\task3\task3\task3\task3.cpp(19) : fatal error C1903: unable to recover from previous error(s); stopping compilation

[Dimka]

Romires, написано же в первой строчке, в чём проблема. Когда компилятор обрабатывает код шаблона, он не знает в точности, что такое Owner<T>, а ещё меньше он знает, чем в конце концов окажется член Holder - может функцией, может полем. Поэтому в твоём случае Owner<TData>::Holder для компилятора не определёно и может потом, когда параметр шаблона определится, за счёт специализаций оказаться чем угодно. У тебя же оно стоит в качестве результата функции, т.е. это должно быть типом, а не полем. Поэтому компилятор просит пометить эту конструкцию специальным служебным словом. Вне класса надо писать.

Код: (C++)

template<class TData> typename Owner<TData>::Holder Owner<TData>::foo(TData x)

[Romires]

спаси что всё чётко пояснил, пол дня промчался с этой фигнёй)