我试图找到一种方法来检查一个lambda是否可以在C++17中被求值为常量。让我们假设我要检查的lambda不带参数。
我偶然发现了this问题，它的公认答案如下：

template <class Lambda, int = (Lambda{}(), 0)>
constexpr std::true_type is_cx_invocable(Lambda) {
    return {};
}

constexpr std::false_type is_cx_invocable(...) {
    return {};
}

其具有以下问题：
1.它只能在C20中工作（因为需要无捕获的lambda是默认可构造的），我正在寻找一个C17的解决方案;
1.如果is_cx_invocable返回false，则不清楚问题是Lambda不是默认可构造的还是其调用运算符不是constexpr，例如：

int main() {
    static_assert(is_cx_invocable([] { return 0; }));

    int i{};
    auto cxLambda = [i] { return 0; };
    (std::array<int, cxLambda()>{}, (void)0);
    //               ^ cxLambda is indeed constexpr invocable
    //                 (but not default constructible)

    auto isCxLambdaCx = is_cx_invocable(cxLambda);
    static_assert(!isCxLambdaCx);  // This fails
}

所以，我试着这样做：

template <class Lambda>
constexpr auto is_cx_invocable(Lambda lambda)
    -> std::integral_constant<bool, (lambda(), 1)> { // or
    //-> std::enable_if_t<(lambda(), 1), std::true_type> {
    return {};
}

constexpr std::false_type is_cx_invocable(...) {
    return {};
}

其中：
1.不需要C++20功能;
1.修复了上述问题（2）：

int main() {
    int i{};
    auto cxLambda = [i] { return 0; };
    auto isCxLambdaCx = is_cx_invocable(cxLambda);
    static_assert(isCxLambdaCx); // OK now
}

问题是，这个解决方案可以很好地编译Clang和MSVC，而不能编译GCC。Here您是一个 * 编译器资源管理器 * 链接玩。
我的问题是：
1.我的解决方案是不是格式错误（所以GCC拒绝我的代码是正确的）？
1.是否有一个可移植的（即可以用ISO C实现，并且独立于编译器的怪癖）来在C17中实现is_cx_invocable检查？