передавая это как аргумент шаблона

Question

У меня есть два класса test1 и test2:

struct test1
{
   int r;

   test1() {}
   test1(int value) : r(value) {}

   test1 foo() const;
};

struct test2
{
   int r;

   test2() {}
   test2(int value) : r(value) {}
};

template <typename t>
struct data_t
{
   static const t one;
};

template <> const test1 data_t<test1>::one  = test1(1);
template <> const test2 data_t<test2>::one  = test2(1);

Затем я создал функцию для чего-то:

template <typename t, const t& value>
t do_somthing()
{ return value; };

действие do_something простое, оно возвращает копию значения, поэтому в основной функции:

int main()
{
   test1 r = do_somthing<test1, data_t<test1>::one>();
}

проблема возникает при реализации test1 :: foo

test1 test1::foo() const
{ return do_somthing<test1, *this>(); }

компилятор останавливается с ошибкой: 'this' : can only be referenced inside non-static member functions

с *this становится test1 const&, что приемлемо в качестве второго параметра, так почему эта ошибка?

Answer 1

Когда вы вызываете метод template с явным упоминанием таких параметров, как

do_somthing<test1, data_t<test1>::one>(); //(1) ok
do_somthing<test1, *this>();  // (2) error

, тогда компилятор ожидает, что явные аргументы должны быть константами времени компиляции.В вашем (2) втором случае *this не разрешается до постоянной времени компиляции , поэтому вы получаете ошибку компилятора.

Измените определение на следующее:

template <typename t>
t do_somthing(const t& value)
{ return value; };

и теперь, когда вы звоните как

do_somthing<test1>(*this);  // (2) ok

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

Answer 2

Компилятор точно скажет, почему это не сработает, 'this' : can only be referenced inside non-static member functions.Его нельзя использовать ни в каком другом контексте.

Если вы хотите шаблонизировать эту функцию таким образом, вам нужно использовать функцию-шаблон, которая может определять тип аргумента во время компиляции, например:

template <class T>
T copy_value(const T& value)
{
    return value;
}

class A
{
public:
    A clone()
    {
        return copy_value(*this);
    }
};

int main()
{
    int x = 999;
    int y = copy_value(x);

    double d = 9.99;
    double e = copy_value(d);

    std::string s = "Test";
    std::string t = copy_value(s);

    return 0;
}

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