SFINAE 因模板非类型引用参数而失败

Question

考虑这段代码：

constexpr int XX = 10;

template < auto& II > struct Ban { };
template < auto& II >
std:: true_type test(Ban<II>*);
std::false_type test(...);

和：

using BB = decltype(test(std::declval<Ban<XX>*>()));

在这里，我希望 BB 是 std::true_type，但对于 gcc-8.3 和 clang-8.0，它是 std::false_type。这是这些编译器的错误吗？

请注意，当我将 auto& 更改为 auto 时，BB 变为 std::true_type。另请注意，如果我使用int const 而不是auto，gcc 的情况是相同的，所以int const& 屈服于std::false_type，而int const 屈服于std::true_type，而对于clang @987654341 @ 屈服于 std::true_type。您可以找到实时示例here。

是否有一种解决方法可以使用非类型引用的模板来执行这种 SFINAE？关键是要有像IsInstantiationOfBan 这样的实用程序。

Answer 1

也许你想要decltype(auto)而不是auto &：

#include <type_traits>

constexpr int XX = 10;

template <decltype(auto) II > struct Ban { };
template <decltype(auto) II >
std::true_type test(Ban<II>*);
std::false_type test(...);

int main()
{
    using BB = decltype(test(std::declval<Ban<(XX)>*>()));
                                           // ^  ^ be careful for brackets!

    static_assert(std::is_same_v<BB, std::true_type>);

    return 0;
}

[live demo]

如果您的第一个问题，clang 可能需要在 auto & 之前使用 const 说明符来实现 const 正确性（constexpr 变量也可能是 const）。 [example].