c++ - 如何将 float 作为模板参数传递？

Question

我正在从事一个元编程项目，我们希望能够将 float 作为模板参数传递。我不确定这个问题是否更适合 Stack Exchange，但我认为它有点概念性，所以选择了这个网站。

基本上，我想这样做:

template <double var>
double fun() { return var; }

int main()
{
  double myDoble = fun<1.0>();
  return 0;
}

显然，这是不可能的。此链接 ( http://en.cppreference.com/w/cpp/language/template_parameters) 清楚地表明作为模板参数传递的类型必须是以下之一:

integral type
enumeration
pointer to object or to function
lvalue reference to object or to function
pointer to member object or to member function
std::nullptr_t (since C++11)

但是，我可以传递指向对象的指针(也许是指向包含 double 的结构的指针？)这一事实让我想知道是否有一种方法可以通过将指针传递给这样的 double 来实现上述目标。

所以我尝试了这个:

template <double* pVar>
double fun()
{
    return *pVar;
}

int main() {
    static const double param = 1.2;
    double value = fun<&param>();
    return 0;
}

出现以下错误:

prog.cpp:9:29: error: ‘& param’ is not a valid template argument of type ‘double*’ because ‘param’ has no linkage
  double value = fun<&param>();

我认为问题可能出在我使用的是原语，所以我尝试了这个:

struct D
{
    double val;
};

template <D* pD>
double fun()
{
    return pD->val;
}

int main() {
    static const D d{1.2};

    double value = fun<&d>();
    return 0;
}

这给出了同样的错误。

有没有人有解决这个问题的其他想法？如果人们能避免“无法完成”的回答，我将不胜感激；我知道做不到，我还是想做! ;)

Answer 1

如果您真的想将 double 值传递给模板化函数，您应该使用包装器。就像这个:

struct D
{
    operator double(){ return 1.2; }
};

template <typename T>
double fun()
{
    T t;
    return t;
}

int main()
{
    double value = fun<D>();
    return 0;
}

但也许更有用的是像这样定义一个宏:

#define DBLWRAPPER(dbl) typedef struct { operator double(){ return dbl; } }

int main()
{
    DBLWRAPPER(1.2) DBL1_2;
    DBLWRAPPER(2.45) DBL2_45;

    double value1_2 = fun<DBL1_2>();
    double value2_45 = fun<DBL2_45>();
    return 0;
}