在使用参数类型的值的尾部返回中是否需要decltype

Question

在试图理解与c 17兼容的代码时，我被下面的代码搞糊涂了，其中函数在尾部返回类型中使用integral_constant类型参数的值。（请随时更正我的术语等，尝试学习）

下面展示了两个简单的版本，在尾部返回中的参数上有decltype和没有decltype。

使用编译器资源管理器https://godbolt.org/z/vqmzhu

第一个（bool_from1）在
MSVC 15.8上编译ok； /std： c 17， /O2， /permissive-
and clang8.7.0.0and gcc 8.2；-std=c 17，-O2，-迂腐
具有正确的汇编器输出

第二个（bool_from2）错误出现在gcc上，它也显示了VS中的Intellisense错误，但编译时没有错误。

我在参考文件或标准草案等中找不到任何能向我表明一致性代码需要decltype（atype）的东西，但是。。。？？？

我的问题是是否需要decltype。我的编译器标志对于c 17一致性检查是否正确。

代码：

#include <utility>

namespace ns {
volatile bool vb;

template<bool B> struct bool_ : std::bool_constant<B> {};

// using decltype(btype) in trailing return compiles in all 3
template<typename Bool> constexpr auto bool_from1(Bool btype)
-> bool_<decltype(btype)::value> {
    return bool_<btype.value>{};
}
void test1() {
    static_assert( // simple test
        bool_from1(std::true_type{}).value
        );
    vb = bool_from1(std::true_type{}).value; // check output
}

// without decltype in trailing return compile in VS and clang
// but errors out in gcc; and VS shows Intelisense errors but compiles
template<typename Bool>
constexpr auto bool_from2(Bool btype)
// ^ gcc 8.2 error: deduced class type 'bool_' in function return type
-> bool_<btype.value> {
    // ^ gcc: invalid template-id; use of paramter outside function body before '.'
    //^ VS Intellisense on btype: <error-constant>; a paramter is not allowed
    return bool_<btype.value>{};
}

void test2() {
    static_assert(
        bool_from2(std::true_type{}).value
        //^ gcc: bool_from1 was not declared in this scope
        );
    vb = bool_from2(std::true_type{}).value; // check output
}
}

Answer 1

这看起来像是一个gcc错误和错误报告：“Trailing return types”和“non-type template arguments”，可能是“常量表达式”，生成的解析错误似乎适合这种情况：

考虑以下片段：

template <int>
struct bar {};

template <class I>
auto foo(I i) -> bar<i()> { return {}; }

int main()
{
    foo([]{ return 1; }); // (0)
}

这在clang 5上按预期进行编译和工作，但在g 7上产生编译时错误：

prog.cc:5:25: error: template argument 1 is invalid
auto foo(I i) -> bar<i()> { return {}; }