c – 使用编译时常量(如果已知)

我有一个神秘类型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’s trick,我们可以执行以下操作：

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)>;

Here’s a demo.

标签：c,templates,compile-time
来源： https://codeday.me/bug/20190828/1755627.html