在 C++ 模板中将类型传递给 Lambda 函数答案

【问题标题】：Passing Type Into Lambda Function In C++ Template在 C++ 模板中将类型传递给 Lambda 函数
【发布时间】：2020-10-22 05:44:32
【问题描述】：

我正在尝试在模板函数中使用std::transform。因为模板函数需要处理的类型有很多种，所以重点是std::transform中lambda函数的设计。我想传递可迭代 T 的基本类型来构造一个 lambda 函数。这里的实验代码使用typename std::iterator_traits<T::iterator>::value_type和it compile successfully with gcc 10.2 and MSVC 19.27 but failed with clang。

替换后

typename std::iterator_traits<T::iterator>::value_type

进入

typename std::iterator_traits<typename T::iterator>::value_type

the problem seems to be solved。但是，我不确定这是否是正确的用法。此外，如果有其他更好的方法可以做到这一点，请告诉我。

template<typename T>
concept ElementSummable = requires(T x)
{
    x.at(0) + x.at(0);
};

template<typename T>
concept Iterable = requires(T x)
{
    x.begin();      // must have `x.begin()` 
    x.end();        // and `x.end()` 
};

template<class T> requires Iterable<T> && ElementSummable<T>
static T Foo(const T _input);

template<class T> requires Iterable<T> && ElementSummable<T>
static inline T Foo(const T _input)
{
    T returnObject = _input;
    std::transform(_input.begin(), _input.end(), returnObject.begin(),
        [](typename std::iterator_traits<T::iterator>::value_type element)->typename std::iterator_traits<T::iterator>::value_type
        {
            return element + 1;         //  For example
        }
    );
    return returnObject;
}

int main()
{
    long double number = 1;
    std::vector<decltype(number)> testVector1;
    testVector1.push_back(number);
    testVector1.push_back(number);

    std::cout << Foo(testVector1).at(0);
    return 0;
}

【问题讨论】：

参数使用auto即可，完全不需要指定返回类型
@AlanBirtles 你的意思是这样的[](auto element)->auto 吗？
是的，虽然你根本不需要指定返回类型
@AlanBirtles 谢谢你的建议。但是，我仍然想知道如何在这个结构中正确指定类型。
你已经有了正确的类型，你必须把 typename 放在依赖于模板的类型之前，clang 在执行标准方面比其他人更严格

标签： c++ templates lambda g++ clang++

【解决方案1】：

问题在于CLang 编译器相对于标准的僵化。

问题不在于类型（这是正确的），问题在于您必须将 typename 放在依赖于模板的类型之前。

但最好的解决方案是使用auto 让编译器自行推断类型。

【讨论】：