MSVC не может распознать функцию constexpr с автоматическим параметром шаблона - PullRequest
Новая
       45

MSVC не может распознать функцию constexpr с автоматическим параметром шаблона

4 голосов
/ 14 марта 2019

Я попытался создать мета-искатель индекса для значений в списках значений.

это код: 

#include<type_traits>
#include<utility>

template <auto... Values>
struct ValueTplList;

template <auto>
constexpr int MetaFindV(int ind)
{   // not found case
    return -1;
}
template <auto NeedleV, auto V, auto... Vs>
constexpr int MetaFindV(int ind = 0)
{
    if constexpr (std::is_same_v<decltype(NeedleV), decltype(V)>)
    {
        return NeedleV == V ? ind : MetaFindV<NeedleV, Vs...>(ind + 1);
    }
    else
    {
        return MetaFindV<NeedleV, Vs...>(ind + 1);
    }
}
// main
template <auto, typename>
struct MetaIndexOfV;
// destructurer
template <auto V, template<auto...> class Tmpl, auto... Vs>
struct MetaIndexOfV<V, Tmpl<Vs...> >
    : std::integral_constant< int, MetaFindV<V, Vs...>() >
{};
// template variable version of it:
template <auto V, typename TemplInst>
constexpr int metaFindV_v = MetaIndexOfV<V, TemplInst>::value;

// tests
static_assert(metaFindV_v< 0, ValueTplList<0> > == 0 );
static_assert(metaFindV_v< 5, ValueTplList<0> > == -1);
static_assert(metaFindV_v< 0, ValueTplList<nullptr, 0> > == 1);
static_assert(metaFindV_v< 2, ValueTplList<1, (long)2, 2, 3, 4> > == 2);
static_assert(metaFindV_v< -1, ValueTplList<-2, -1, 42> > == 1);

найти поведение здесь:
https://godbolt.org/z/ukwxpN

Вы обнаружите, что это прекрасно компилируется с gcc 7 и выше, и с clang 5 и выше.

Интересно, действительно ли я сделал что-то не так по стандарту, который предписывает MSVC такую ​​ненависть,Я просто не могу увидеть это сам сейчас: '(

Там написано:

(30): ошибка C2672:' MetaFindV ': не найдена соответствующая перегруженная функция> (31): примечание: см. Ссылку на экземпляр шаблона класса «MetaIndexOfV>», который компилируется
(30): ошибка C2975: «V»: недопустимый аргумент шаблона для «MetaFindV», ожидаемое постоянное выражение времени компиляции (12): примечание: см. объявление 'V'
(30): ошибка C2977: 'MetaFindV': слишком много аргументов шаблона

Я думаю, что это жалоба на эту строку
: std::integral_constant< int, MetaFindV<V, Vs...>() >
Например, если MetaFindV<V, Vs...>() не имеет соответствующей функции.

(примечание: если вы измените все auto на typename, - с некоторыми небольшими изменениями - все начнет работать (но длятолько типы и список типов), хотя шаблон кода точно такой же.)

Ответы [ 2 ]

1 голос
/ 14 марта 2019

Не ответ (извините: я подозреваю, что это ошибка MSVC, но я не уверен), но длинный комментарий.

Я предлагаю совершенно другой способ получить то, что вы хотите: 

#include <type_traits>
#include <string>

template <auto... Values>
struct ValueTplList
 { };

template <auto, auto>
struct strongSame : public std::false_type
 { };

template <auto A>
struct strongSame<A, A> : public std::true_type
 { };

template <auto TargetVal, auto ... Values>
constexpr int foo (ValueTplList<Values...> const &)
{
  int ind = -1;

  (void)(    (++ind, strongSame<TargetVal, Values>::value) 
          || ... || (++ind, true) );

  return std::size_t(ind) == sizeof...(Values) ? -1 : ind;
}

template <auto V, typename TemplInst>
constexpr int metaFindV_v = foo<V>(TemplInst{});

// tests
static_assert(metaFindV_v< 0, ValueTplList<0> > == 0 );
static_assert(metaFindV_v< 5, ValueTplList<0> > == -1);
static_assert(metaFindV_v< 0, ValueTplList<nullptr, 0> > == 1);
static_assert(metaFindV_v< 2, ValueTplList<1, (long)2, 2, 3, 4> > == 2);
static_assert(metaFindV_v< -1, ValueTplList<-2, -1, 42> > == 1);

int main ()
 {
 }
0 голосов
/ 14 марта 2019

Я очень старался и потерпел неудачу. Кажется, это простая ошибка в MSVC.

Мое решение для заинтересованных людей было полностью отказаться: '((( Вместо этого я пошел с типами и значениями-оболочками, как следует: 

#include<type_traits>
#include<utility>
#include<variant>

template <typename... Types>
struct TypeList;

// auto: http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0127r1.html
template <auto... Values>
struct ValueTplList;


// meta technique to find index of a type in a typelist
template <typename>
constexpr int MetaFind(int ind)
{   // not found case
    return -1;
}
template <typename NeedleT, typename T, typename... Ts>
constexpr int MetaFind(int ind = 0)
{
    if (std::is_same_v<NeedleT, T>)
    {
        return ind;
    }
    else
    {
        return MetaFind<NeedleT, Ts...>(ind + 1);
    }
}
// flat 2 template parameters versions
template <typename T, typename T2>
struct MetaIndexOf : std::integral_constant<int, -1>
{};
template <typename T>
struct MetaIndexOf<T,T> : std::integral_constant<int, 0>
{};
// destructurer version (access the contents of a typelist)
template <typename T, template<typename...> class Tmpl, typename... Ts>
struct MetaIndexOf<T, Tmpl<Ts...> >
    : std::integral_constant< int, MetaFind<T, Ts...>() >
{};
// template variable version of it:
template <typename T, typename TemplInst>
constexpr int metaFind_v = MetaIndexOf<T, TemplInst>::value;

// test
static_assert(metaFind_v< bool, bool > == 0 );
static_assert(metaFind_v< bool, int > == -1 );
static_assert(metaFind_v< int, TypeList<bool, float, int, double> > == 2);
static_assert(metaFind_v< double, TypeList<bool, float, int, double> > == 3);
static_assert(metaFind_v< bool, TypeList<bool, float, int, double> > == 0);
static_assert(metaFind_v< long, TypeList<bool, float, int, double> > == -1);

// make a metaFind for values:

// let's try with a value wrapped in a type
template <auto V>
struct AnyConstantV : std::integral_constant<decltype(V), V>
{};

template <typename>
struct BoxAll;
// convenience helper to directly make a typelist of boxed values from values
template< template<auto...> class VL, auto... Vs >
struct BoxAll< VL<Vs...> >
{
    using type = TypeList< AnyConstantV<Vs>... >;
};

static_assert( std::is_same_v< BoxAll<ValueTplList<0>>::type, TypeList<AnyConstantV<0>> > );

template <auto V, typename VL>
constexpr int metaFindV_v = metaFind_v< AnyConstantV<V>, typename BoxAll<VL>::type >;


// tests
static_assert(metaFindV_v< 0, ValueTplList<0> > == 0 );
static_assert(metaFindV_v< 5, ValueTplList<0> > == -1);
static_assert(metaFindV_v< 0, ValueTplList<nullptr, 0> > == 1);
// god dammnit visual studio ! ..... :(
static_assert(metaFindV_v< 2, ValueTplList<1, (long)2, 2, 3, 4> > == 2);
static_assert(metaFindV_v< -1, ValueTplList<-2, -1, 42> > == 1);

Вы можете играть с ним по адресу:
https://godbolt.org/z/bnfZ5r

Обратите внимание, что static_assert с двумя ошибками с треском и неправильно. Опять же, лязг проходит хорошо здесь. И самое смешное, я вас не обманываю, intellisense понимает это правильно: enter image description here (MSVC строит без утверждения здесь, где это должно)

...