我正在编写一些元函数,并且我有想法使用 C++17 的 if constexpr 结合推导的返回类型来编写它们。这是一个例子:
#include <tuple>
#include <type_traits>
#include <string>
template<typename TupleType, std::size_t I = 0, typename... ReturnData>
constexpr auto filterImpl()
{
if constexpr (I < std::tuple_size_v<TupleType>)
{
using Type = std::tuple_element_t<I, TupleType>;
if constexpr (std::is_arithmetic_v<Type>)
return filterImpl<TupleType, I + 1, ReturnData..., Type>();
else
return filterImpl<TupleType, I + 1, ReturnData...>();
}
else
return std::declval<std::tuple<ReturnData...>>();
}
template<typename Tuple>
using FilterTuple = decltype(filterImpl<Tuple>());
//std::tuple<int, float>
using MyTuple = FilterTuple<std::tuple<int, std::string, float, int*>>;
int main(int argc, char* argv[])
{
MyTuple t{ 3, 5.f };
return 0;
}
当然,您可能可以使用更简单的模式来解决这个问题,但这只是我想要做的一个基本示例。此代码在 msvc 上编译,但不在 onlinegdb 上编译。
哪一个是对的?
以这种方式使用 declval 是否获得授权?
我应该像这样编写元函数,还是应该回到模板类?
(我认为,如果有办法这样做,更复杂的元函数最终可能会更容易阅读)
一个 mcve :
#include <utility>
template<bool b>
constexpr auto evil()
{
if constexpr (b)
return 0;
else
return std::declval<int>();
}
template<bool b>
using Test = decltype(evil<b>());
int main()
{
Test<false> t{};
}
最佳答案
因为你必须实例化 确定其返回类型的函数模板,有一个函数是 ODR 用途 std::declval<…>
,所以程序格式错误。 MSVC 错误地接受了它(没有警告),尽管可以说这条规则不应该需要诊断来允许明显的实现策略,即未能提供 定义 为 std::declval
.
关于c++ - 如果模板从未在未评估的上下文之外被调用,是否返回 declval UB?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/68068589/