Ошибка при создании шаблона

#include <utility>

template <typename T>
decltype(auto) f(T && t)
{
return std::forward<T>(t);
}

int        x1 = 1;
int const  x2 = 1;
int&       x3 = x1;
int const& x4 = x2;

// all calls to `f` result in a successful
// binding of T&& to the required types
auto r1 = f (x1);    // various lvalues okay, as expected
auto r2 = f (x2);    // ...
auto r3 = f (x3);
auto r4 = f (x4);
auto r5 = f (int()); // rvalues okay, as expected

#include <utility>

//
// It **seems** that the templated type T<A> should
// behave the same as an bare type T with respect to
// universal references, but this is not the case.
//
template <template <typename> typename T, typename A>
decltype(auto) f (T<A> && t)
{
return std::forward<T<A>> (t);
}

template <typename A>
struct foo
{
A bar;
};

struct foo<int>        x1 { .bar = 1 };
struct foo<int> const  x2 { .bar = 1 };
struct foo<int> &      x3 = x1;
struct foo<int> const& x4 = x2;

// all calls to `f` **fail** to compile due
// to **unsuccessful** binding of T&& to the required types
auto r1 = f (x1);
auto r2 = f (x2);
auto r3 = f (x3);
auto r4 = f (x4);
auto r5 = f (foo<int> {1}); // only rvalue works

#include <utility>

//
// If we re-declare `f` as before, where `T` is no longer a
// templated type parameter, our code works once more.
//
template <typename T>
decltype(auto) f (T && t)
{
return std::forward<T> (t);
}

//
// Notice, `struct foo<>` is **still** a templated type.
//
template <typename A>
struct foo
{
A bar;
};

struct foo<int>        x1 { .bar = 1 };
struct foo<int> const  x2 { .bar = 1 };
struct foo<int> &      x3 = x1;
struct foo<int> const& x4 = x2;

// all calls to `f` (again) result in
// a successful binding of T&& to the required types
auto r1 = f (x1);
auto r2 = f (x2);
auto r3 = f (x3);
auto r4 = f (x4);

Решение

int a = 42;
f(a);

auto f(int &);
auto f(int); // assuming a working copy constructor

auto f(int &&); // error

template<typename T>
auto f(T&&); // Showing only declaration

auto f(int & &&); // Think of it like that

template<template<class> class T, typename A>
auto g(T<A>&&);

template<typename X>
struct thing {
};
template<typename T>
decltype (auto) f(T&& t) {
if (std::is_same<typename std::remove_reference<T>::type, T>::value) {
cout << "not ";
}
cout << "a reference" << endl;
return std::forward<T>(t);
}
template<
template<class> class T,
typename A>
decltype (auto) g(T<A>&& t) {
return std::forward<T<A>>(t);
}
int main(int, char**) {
thing<int> it {};

f(thing<int> {}); // "not a reference"
f(it);            // "a reference"// T = thing<int> &
// T&& = thing<int>& && = thing<int>&

g(thing<int> {}); // works

//g(it);
// T = thing
// A = int
// T<A>&& = thing<int>&&

return 0;
}

template<typename> struct traits {};
template<
template<class>class T,
typename A>
struct traits<T<A>> {
using param = A;
template<typename X>
using templ = T<X>;
};

template<typename Y>
decltype (auto) g(Y&& t) {
// Needs some manual work, but well ...
using trait = traits<typename std::remove_reference<Y>::type>;
using A = typename trait::param;
using T = trait::template templ
// using it
T<A> copy{t};
A data;
return std::forward<Y>(t);
}

Другие решения

template <typename T>
decltype(auto) f (T&& );

template <template <typename> typename T, typename A>
decltype(auto) f2 (T<A>&& );

template<typename T>
class X;

template<template<typename> class T, typename A>
class X<T<A>> {
public:
using type = A;

template<typename _>
using template_ = T<_>;
};

template<typename T, typename R>
struct copyref {
using type = T;
};
template<typename T, typename R>
struct copyref<T, R&> {
using type = T&;
};
template<typename T, typename R>
struct copyref<T, R&&> {
using type = T&&;
};

template <typename U, typename XX = X<std::decay_t<U>>,
typename = typename XX::type >
decltype(auto) f (U && t)
{
return std::forward<
typename copyref<
typename XX::template template_<typename XX::type>, U
>::type>(t);
}

int main() {
static_assert(std::is_same<decltype(f(std::declval<X<int>&>())),
X<int>&>::value, "wrong");
static_assert(std::is_same<decltype(f(std::declval<X<int>>())),
X<int>&&>::value, "wrong");
// compile error
//f(std::declval<int>());
}

template<typename T>
void f(const T&& param); // rvalue reference because of const

template <template <typename> typename T, typename A>
decltype(auto) f (T<A> && t) // rv-ref - how else would you exclude lvalue arguments?

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

Выражение времени компиляции — это выражение, результат которого известен времени компиляции.

Речь конкретно об этом:

и об этом:

Это не верно.

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

Однако это не так, и пример с enum тому красноречивое подтверждение.

Вы конечно можете любую в принципе синтаксическую запись на зыке назвать «выражением времени компиляции».

Однако, не всякое выражение является выражением времени компиляции , и в этом смысле диалог не имеет смысла.

На практике смысл фразы «выражения времени компиляции» появляется тогда, и только тогда, когда мы, программисты, можем использовать их для своих целей: метапрограммирования, и компалтайм-алгоритмы.

Ну так вот, использовать адреса функция в компалтайм алгоритмах не получится.

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

Адрес функции времени компиляции не известен.
И поэтому, взятие адреса — есть выражение времени выполнения, а не компиляции.

Добавлено через 2 минуты

Я вам ещё раз повторю:
1. constexpr это просьба, а не приказ.
2. Вы используете имя объекта, а не значение адреса.

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

Поэтому я в третий раз повторюсь: не путаете понятие «выражение времени компиляции» и «тело шаблона».

Тело может быть каким угодно. И использовать конструкции, результат работы которых известен только времени выполнения.

Такие конструкции не являются выражением времени компиляции.

Rodinyr

17.08.11 — 01:46

I am porting a relatively big code from Linux to Windows (Visual Studio 2008, I have to use that).
I completed the porting and it’s working, but I had to comment a small piece of code because Visual Studio gave error on that and I couldn’t exactly understand why.
So, basically, there is a functor that collects from a std::map all the «items» that satify a certain condition, defined in the following way:

/*
 * Map collector
 */
template<class TMap>
class CMapCollector
{
    public:
        typedef typename TMap::value_type tValueType;

        CMapCollector(void)
        { }

        void operator () (const tValueType& rcValue)
        {
            if (CheckCondition(rcValue))
                mCollector.push(rcValue);
        }

        bool NextResult(void) const
        {
            return (!mCollector.empty());
        }

        tValueType GetResult(void)
        {
            if (!NextResult())
                return tValueType();

            tValueType curr_value = mCollector.front();
            mCollector.pop();
            return curr_value;
        }

    private:
        virtual bool CheckCondition(const tValueType& rcValue) const = 0;

        typedef std::queue<tValueType> tCollectorContainer;

        tCollectorContainer mCollector;
};

Then, by inheriting from it, some collector classes are defined.
I wrote a small example that shows the error, in order to extract it from all the other code:

/*
 * Some class
 */
class CMyClass
{
    public:
        CMyClass(const int cNum) : mNum(cNum)
        { }

        bool DifferentFrom(const int cFrom) const
        {
            return (Get() != cFrom);
        }

        bool EqualTo(const int cTo) const
        {
            return (Get() == cTo);
        }

    private:
        int Get(void) const
        {
            return mNum;
        }

        int mNum;
};

/* Some map definition */
typedef std::map<int, CMyClass *> tMyMap;

/*
 * Real collectors
 */

class CNoNullCollector : public CMapCollector<tMyMap>
{
    private:
        bool CheckCondition(const tValueType& rcValue) const
        {
            return (rcValue.second->DifferentFrom(0));
        }
};

class CValueCollector : public CMapCollector<tMyMap>
{
    public:
        CValueCollector(const int cValue) : mValue(cValue)
        { }

    private:
        bool CheckCondition(const tValueType& rcValue) const
        {
            return (rcValue.second->EqualTo(mValue));
        }

        int mValue;
};

/*
 * main
 */
int main(int argc, char *argv[])
{
    tMyMap my_map;

    /* Insert some value */
    my_map.insert(std::make_pair(1, new CMyClass(0)));
    my_map.insert(std::make_pair(2, new CMyClass(1)));
    my_map.insert(std::make_pair(3, new CMyClass(2)));
    my_map.insert(std::make_pair(4, new CMyClass(2)));
    my_map.insert(std::make_pair(5, new CMyClass(3)));

    /* Collect values */
    CNoNullCollector collector = std::for_each(my_map.begin(), my_map.end(), CNoNullCollector());
    while (collector.NextResult())
    {
        CNoNullCollector::tValueType curr_result = collector.GetResult();
        /* Do something ... */
    }

    /* Free memory, not written ... */

    return 0;
}

This code compiles fine on Linux with g++ (I tried with both g++ 4.2 and 4.9, available on the machine).
I also tried with Visual Studio 2013, and it was fine.
However, compiling it with VS2008 (and also VS2010), it gives errors when it instantiates the class template «CMapCollector».
The errors are in the std::swap function, called from std::pair, at this point («utility» file, a standard include):

template<class _Ty> inline
void swap(_Ty& _Left, _Ty& _Right)
{   // exchange values stored at _Left and _Right
if (&_Left != &_Right)
    {   // different, worth swapping
    _Ty _Tmp = _Left;

    _Left = _Right;     // <-- error C3892: '_Left' : you cannot assign to a variable that is const
    _Right = _Tmp;      // <-- error C3892: '_Right' : you cannot assign to a variable that is const
    }
}

This is the complete error message:

    c:program files (x86)microsoft visual studio 9.0vcincludeutility(22) : error C3892: '_Left' : you cannot assign to a variable that is const
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(31) : see reference to function template instantiation 'void std::swap<_Ty>(_Ty &,_Ty &)' being compiled
        with
        [
            _Ty=int
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(64) : see reference to function template instantiation 'void std::_Swap_adl<_Ty1>(_Ty &,_Ty &)' being compiled
        with
        [
            _Ty1=int,
            _Ty=int
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(61) : while compiling class template member function 'void std::pair<_Ty1,_Ty2>::swap(std::pair<_Ty1,_Ty2> &)'
        with
        [
            _Ty1=const int,
            _Ty2=CMyClass *
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludedeque(518) : see reference to class template instantiation 'std::pair<_Ty1,_Ty2>' being compiled
        with
        [
            _Ty1=const int,
            _Ty2=CMyClass *
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludequeue(24) : see reference to class template instantiation 'std::deque<_Ty>' being compiled
        with
        [
            _Ty=std::pair<const int,CMyClass *>
        ]
        c:usersmy_namedesktoptesttesttest.cpp(42) : see reference to class template instantiation 'std::queue<_Ty>' being compiled
        with
        [
            _Ty=std::pair<const int,CMyClass *>
        ]
        c:usersmy_namedesktoptesttesttest.cpp(81) : see reference to class template instantiation 'CMapCollector<TMap>' being compiled
        with
        [
            TMap=tMyMap
        ]
c:program files (x86)microsoft visual studio 9.0vcincludeutility(23) : error C3892: '_Right' : you cannot assign to a variable that is const

If I comment the part in which the class template is instantiated:

CNoNullCollector collector = std::for_each(my_map.begin(), my_map.end(), CNoNullCollector());
while (collector.NextResult())
{
    CNoNullCollector::tValueType curr_result = collector.GetResult();
    /* Do something ... */
}

the compilation will be successfully completed.
I understand there is some problem with the constantness, but I don’t understand where. Why does g++ successfully compile it?

EDIT:

I understood that it’s something related to the std::queue and the «key» of the std::map (and therefore the «first» of the std::pair) that is constant by definition, but I didn’t figure out how to solve it

I am porting a relatively big code from Linux to Windows (Visual Studio 2008, I have to use that).
I completed the porting and it’s working, but I had to comment a small piece of code because Visual Studio gave error on that and I couldn’t exactly understand why.
So, basically, there is a functor that collects from a std::map all the «items» that satify a certain condition, defined in the following way:

/*
 * Map collector
 */
template<class TMap>
class CMapCollector
{
    public:
        typedef typename TMap::value_type tValueType;

        CMapCollector(void)
        { }

        void operator () (const tValueType& rcValue)
        {
            if (CheckCondition(rcValue))
                mCollector.push(rcValue);
        }

        bool NextResult(void) const
        {
            return (!mCollector.empty());
        }

        tValueType GetResult(void)
        {
            if (!NextResult())
                return tValueType();

            tValueType curr_value = mCollector.front();
            mCollector.pop();
            return curr_value;
        }

    private:
        virtual bool CheckCondition(const tValueType& rcValue) const = 0;

        typedef std::queue<tValueType> tCollectorContainer;

        tCollectorContainer mCollector;
};

Then, by inheriting from it, some collector classes are defined.
I wrote a small example that shows the error, in order to extract it from all the other code:

/*
 * Some class
 */
class CMyClass
{
    public:
        CMyClass(const int cNum) : mNum(cNum)
        { }

        bool DifferentFrom(const int cFrom) const
        {
            return (Get() != cFrom);
        }

        bool EqualTo(const int cTo) const
        {
            return (Get() == cTo);
        }

    private:
        int Get(void) const
        {
            return mNum;
        }

        int mNum;
};

/* Some map definition */
typedef std::map<int, CMyClass *> tMyMap;

/*
 * Real collectors
 */

class CNoNullCollector : public CMapCollector<tMyMap>
{
    private:
        bool CheckCondition(const tValueType& rcValue) const
        {
            return (rcValue.second->DifferentFrom(0));
        }
};

class CValueCollector : public CMapCollector<tMyMap>
{
    public:
        CValueCollector(const int cValue) : mValue(cValue)
        { }

    private:
        bool CheckCondition(const tValueType& rcValue) const
        {
            return (rcValue.second->EqualTo(mValue));
        }

        int mValue;
};

/*
 * main
 */
int main(int argc, char *argv[])
{
    tMyMap my_map;

    /* Insert some value */
    my_map.insert(std::make_pair(1, new CMyClass(0)));
    my_map.insert(std::make_pair(2, new CMyClass(1)));
    my_map.insert(std::make_pair(3, new CMyClass(2)));
    my_map.insert(std::make_pair(4, new CMyClass(2)));
    my_map.insert(std::make_pair(5, new CMyClass(3)));

    /* Collect values */
    CNoNullCollector collector = std::for_each(my_map.begin(), my_map.end(), CNoNullCollector());
    while (collector.NextResult())
    {
        CNoNullCollector::tValueType curr_result = collector.GetResult();
        /* Do something ... */
    }

    /* Free memory, not written ... */

    return 0;
}

This code compiles fine on Linux with g++ (I tried with both g++ 4.2 and 4.9, available on the machine).
I also tried with Visual Studio 2013, and it was fine.
However, compiling it with VS2008 (and also VS2010), it gives errors when it instantiates the class template «CMapCollector».
The errors are in the std::swap function, called from std::pair, at this point («utility» file, a standard include):

template<class _Ty> inline
void swap(_Ty& _Left, _Ty& _Right)
{   // exchange values stored at _Left and _Right
if (&_Left != &_Right)
    {   // different, worth swapping
    _Ty _Tmp = _Left;

    _Left = _Right;     // <-- error C3892: '_Left' : you cannot assign to a variable that is const
    _Right = _Tmp;      // <-- error C3892: '_Right' : you cannot assign to a variable that is const
    }
}

This is the complete error message:

    c:program files (x86)microsoft visual studio 9.0vcincludeutility(22) : error C3892: '_Left' : you cannot assign to a variable that is const
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(31) : see reference to function template instantiation 'void std::swap<_Ty>(_Ty &,_Ty &)' being compiled
        with
        [
            _Ty=int
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(64) : see reference to function template instantiation 'void std::_Swap_adl<_Ty1>(_Ty &,_Ty &)' being compiled
        with
        [
            _Ty1=int,
            _Ty=int
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludeutility(61) : while compiling class template member function 'void std::pair<_Ty1,_Ty2>::swap(std::pair<_Ty1,_Ty2> &)'
        with
        [
            _Ty1=const int,
            _Ty2=CMyClass *
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludedeque(518) : see reference to class template instantiation 'std::pair<_Ty1,_Ty2>' being compiled
        with
        [
            _Ty1=const int,
            _Ty2=CMyClass *
        ]
        c:program files (x86)microsoft visual studio 9.0vcincludequeue(24) : see reference to class template instantiation 'std::deque<_Ty>' being compiled
        with
        [
            _Ty=std::pair<const int,CMyClass *>
        ]
        c:usersmy_namedesktoptesttesttest.cpp(42) : see reference to class template instantiation 'std::queue<_Ty>' being compiled
        with
        [
            _Ty=std::pair<const int,CMyClass *>
        ]
        c:usersmy_namedesktoptesttesttest.cpp(81) : see reference to class template instantiation 'CMapCollector<TMap>' being compiled
        with
        [
            TMap=tMyMap
        ]
c:program files (x86)microsoft visual studio 9.0vcincludeutility(23) : error C3892: '_Right' : you cannot assign to a variable that is const

If I comment the part in which the class template is instantiated:

CNoNullCollector collector = std::for_each(my_map.begin(), my_map.end(), CNoNullCollector());
while (collector.NextResult())
{
    CNoNullCollector::tValueType curr_result = collector.GetResult();
    /* Do something ... */
}

the compilation will be successfully completed.
I understand there is some problem with the constantness, but I don’t understand where. Why does g++ successfully compile it?

EDIT:

I understood that it’s something related to the std::queue and the «key» of the std::map (and therefore the «first» of the std::pair) that is constant by definition, but I didn’t figure out how to solve it

Имеется кластер серверов виртуализации на базе Windows Server 2012. Также имеется сервер с установленной системой System Center Virtual Machine manager (SC VMM).

Мне необходимо было создать шаблон виртуальной машины на базе 64-битной Windows Pro 7. Сама виртуальная машина подготовлена с помощью утилиты sysprep.

Далее в ходе работы мастера создания шаблона из готовой ВМ я настраивал только страницу настройки свойств ОС: указан ключ продукта, пароль локального администратора, сведения о подключении машины к домену.

Создание шаблона завершилось ошибкой:

Ошибка (2931)
VMM не удалось выполнить запрос. Подключение к агенту VMM на сервере виртуализации (srv-sc.moscow.sovmortrans.com) прервано.
Unknown error (0x80338029)

Рекомендуемое действие
Убедитесь, что служба удаленного управления Windows (WS-Management) и агент VMM установлены и запущены, а брандмауэр не блокирует трафик HTTPS.

Эта проблема также может быть связана с неполадками DNS. Убедитесь, что сервер (srv-sc.moscow.sovmortrans.com) доступен по сети и его можно найти в системе DNS. Можно выполнить проверку связи с сервером виртуализации с
сервера управления VMM и убедиться в том, что возвращенный IP-адрес соответствует IP-адресу, полученному от сервера виртуализации локально.

Если эта ошибка будет повторяться, перезагрузите сервер виртуализации и повторите операцию.

Поскольку виртуальная машина удаляется с хоста, повторить операцию не удается. Указанные службы работают. Исходящий трафик HTTPS с сервера виртуализации не блокируется. Нужно ли разрешать входящий трафик HTTPS я не нашел в документации.

Сбоем завершился шаг:

1.2.5. Развертывание файла (по протоколу BITS поверх HTTPS): 1 из 2 файлов (19,01 ГБ.20,66 ГБ)

Встречался ли кто-нибудь с такой проблемой и как ее разрешить?

// File: myvector.h

#ifndef _myvector_h
#define _myvector_h

template <typename ElemType>
class MyVector
{
public:
    MyVector();
~MyVector();
int size();
void add(ElemType s);
ElemType getAt(int index);

private:
ElemType *arr;
int numUsed, numAllocated;
void doubleCapacity();
};

#include "myvector.cpp"

#endif

// File: myvector.cpp

#include <iostream>
#include "myvector.h"

template <typename ElemType>
MyVector<ElemType>::MyVector()
{   
arr = new ElemType[2];
numAllocated = 2;
numUsed = 0;
}

template <typename ElemType>
MyVector<ElemType>::~MyVector()
{
delete[] arr;
}

template <typename ElemType>
int MyVector<ElemType>::size()
{
return numUsed;
}

template <typename ElemType>
ElemType MyVector<ElemType>::getAt(int index)
{
if (index < 0 || index >= size()) {
    std::cerr << "Out of Bounds";
    abort();
}
return arr[index];
}

template <typename ElemType>
void MyVector<ElemType>::add(ElemType s)
{
if (numUsed == numAllocated)
    doubleCapacity();
arr[numUsed++] = s;
}

template <typename ElemType>
void MyVector<ElemType>::doubleCapacity()
{
ElemType *bigger = new ElemType[numAllocated*2];
for (int i = 0; i < numUsed; i++)
    bigger[i] = arr[i];
delete[] arr;
arr = bigger;
numAllocated*= 2;
}

2 ответа

Лучший ответ

 #include "myvector.cpp"

Traceback:
File "***/python2.7/site-packages/django/core/handlers/base.py" in get_response
  111.                     response = wrapped_callback(request, *callback_args, **callback_kwargs)
File "***/python2.7/site-packages/django/contrib/admin/options.py" in wrapper
  583.                 return self.admin_site.admin_view(view)(*args, **kwargs)
File "***/python2.7/site-packages/django/utils/decorators.py" in _wrapped_view
  105.                     response = view_func(request, *args, **kwargs)
File "***/python2.7/site-packages/django/views/decorators/cache.py" in _wrapped_view_func
  52.         response = view_func(request, *args, **kwargs)
File "***/python2.7/site-packages/django/contrib/admin/sites.py" in inner
  206.             return view(request, *args, **kwargs)
File "***/python2.7/site-packages/django/contrib/admin/options.py" in add_view
  1453.         return self.changeform_view(request, None, form_url, extra_context)
File "***/python2.7/site-packages/django/utils/decorators.py" in _wrapper
  29.             return bound_func(*args, **kwargs)
File "***/python2.7/site-packages/django/utils/decorators.py" in _wrapped_view
  105.                     response = view_func(request, *args, **kwargs)
File "***/python2.7/site-packages/django/utils/decorators.py" in bound_func
  25.                 return func.__get__(self, type(self))(*args2, **kwargs2)
File "***/python2.7/site-packages/django/db/transaction.py" in inner
  394.                 return func(*args, **kwargs)
File "***/python2.7/site-packages/django/contrib/admin/options.py" in changeform_view
  1427.             model_admin=self)
File "***/python2.7/site-packages/django/contrib/admin/helpers.py" in __init__
  36.         } for field_name, dependencies in prepopulated_fields.items()]
File "***/python2.7/site-packages/django/forms/forms.py" in __getitem__
  147.                 "Key %r not found in '%s'" % (name, self.__class__.__name__))

Exception Type: KeyError at /admin/dbmail/mailtemplate/add/
Exception Value: u"Key 'slug' not found in 'MailTemplateForm'"