Question

我有一个愚蠢的问题，模板解析错误在堆栈溢出中非常常见，但我找不到任何与我的问题相近的东西。当我专注于这个问题时，我会让别人证明我是错的。

所以我添加了一个神秘但简化的代码片段，它复制了我正在尝试的内容。

#include <functional>
#include <iostream>

enum selector
{
    SEL1,
    SEL2,
};

我有一些特质类，我用来保存一些“有用的”，重复的和静态的信息，我试图将这些信息输入到一个名为f的算法中。

template <selector T>
class custom_traits;

template<>
class custom_traits<SEL1>
{
    public:
        template <typename T>
        using OPERATOR = std::less<T>;
};

template<>
class custom_traits<SEL1>
{
    public:
        template <typename T>
        using OPERATOR = std::greater<T>;
};

我创建了一个辅助函数来帮助执行每个特征类独有的操作。我已经从cppreference复制并修改了这个函数f()，因为那是我用作参考的。

template <typename U, typename A, typename B>
bool f(A a, B b, U op = U()) 
{
    return op(a, b);
}

在我的main函数中，我们称之为g()，是调用f< TT::typename OPERATOR<OT> >(a,b)时发生模板解析错误的地方

template<  selector T, typename OT, typename TT = custom_traits<T> >
bool g( const OT a, const OT b)
{
    return f< TT::typename OPERATOR<OT> >(a,b);
}

int main() 
{
    g<SEL1>(1,3);

    return 0;
}

有趣的是，如果我替换

，它会编译得很好

f<TT::typename OPERATOR<OT>>

带

f<std::less<int>>

甚至

f<std::less<OT>>

直接。所以概念验证它应该有效，但问题是模板解析对我有用。我原本以为添加typename会帮助编译器弄清楚它是一种类型......但没有运气。

我不太清楚这种类型的推论是否可能带有模板别名。任何帮助和指向更多信息的指示都会有所帮助。

哦，顺便说一下，这是我的错误

 main.cpp: In function 'bool g(OT, OT)': main.cpp:39:12: error: parse
 error in template argument list
      return f< TT::typename OPERATOR<OT> >(a,b);

            ^

Answer 1

template忘记了typename在错误的地方。

而不是

return f< TT::typename OPERATOR<OT> >(a,b);

你应该写

return f< typename TT::template OPERATOR<OT> >(a,b);

C ++ 11模板解析错误，使用模板别名进行类型推导

1 个答案: