如果知道，使用编译时常数

Use compile-time constant if known

本文关键字：编译 常数 如果      更新时间：2023-10-16

我有一个未知类型的值T(对于这个例子，我们可以假设T是一个整型)。我想在一些模板函数中使用这个值作为模板参数(对于这个例子，是std::integral_constant的参数)。问题是T可能不是一个常量类型。如果它不是常量类型，我希望在模板函数中默认为0。但是，如果它是常量，我希望使用值本身，因为它是已知的。

目前，我有以下(未编译)代码:

#include <type_traits>
template <typename T>
struct CompileTimeStuff {
    constexpr static int value(T arg) { return 0; }
};
template <typename T>
struct CompileTimeStuff<const T> {
    constexpr static int value(const T arg) { return (int)arg; }
};
template <typename T>
constexpr int magic_function(T arg) {
    return CompileTimeStuff<T>::value(arg);
}
const int cvalue = 7;
int ivalue = 7;
// This should be 7, since cvalue is constant and thus known at compile-time.
typedef std::integral_constant<int, magic_function(cvalue)> type1;
// Since ivalue is non-constant, this should take the default value of 0.
typedef std::integral_constant<int, magic_function(ivalue)> type2;

不幸的是，g++给出了以下错误:

templatestuff.cpp:28:58: error: the value of ‘ivalue’ is not usable in a constant expression
 typedef std::integral_constant<int, magic_function(ivalue)> type2;

编译器不喜欢将ivalue用作模板参数，即使我从未在实例化中直接使用它的值。

是的，你可以这样做。使用Johannes Schaub的技巧，我们可以做以下事情:

template<typename T> 
constexpr typename std::remove_reference<T>::type makeprval(T && t) {
  return t;
}
#define constexpr_or_zero(e) (noexcept(makeprval(e)) ? (e) : 0)
const int cvalue = 7;
int ivalue = 7;
using type1 = std::integral_constant<int, constexpr_or_zero(cvalue)>;
using type2 = std::integral_constant<int, constexpr_or_zero(ivalue)>;

相关文章：