C++ 模板化代码的语法和语义是什么？

template<typename T, size_t M, size_t K, size_t N, typename std::enable_if_t<std::is_floating_point<T>::value, T> = 0>
void fastor2d(){//...}

我从 cpp-reference 复制了这行代码（仅std::enable_if部分，我确实需要T和所有三个size_t's），因为我只想在使用 float_types 时使用此函数......它无法编译。

有人可以向我解释一下为什么以及它的作用吗？当我这样做的时候，你之后如何调用这个函数？

这里关于 SO 的每个教程或问题都会被答案轰炸，这很好，但对于那些不了解正在发生的事情的人来说，即使这些也没有真正的帮助。（抱歉，如果可能有点激动或攻击性）

编辑：我非常感谢到目前为止的所有答案，我意识到我的措辞可能有点偏离...我理解模板参数是什么，并且知道运行时和编译时等之间的区别，但我只是无法得到一个好的掌握背后的语法std::enable_if

EDIT2:

template<typename T, size_t M, size_t K, size_t N, typename = std::enable_if_t<std::is_integral<T>::value>>
void fastor2d(){
    Fastor::Tensor<T,M,K> A; A.randInt();
}

这实际上是我唯一需要改变的事情。注意 random() 部分

template<typename T, size_t M, size_t K, size_t N, typename = std::enable_if_t<std::is_floating_point<T>::value>>
void fastor2d(){
    Fastor::Tensor<T,M,K> A; A.random();
}

我将尝试尽可能简单地解释这一点，因为您要求它，所以不会过多地讨论语言细节。

模板参数是编译时参数（它们在应用程序运行时不会更改）。函数参数是运行时的并且具有内存地址。

调用这个函数看起来像这样：

fastor2d<Object, 1, 2, 3>();

在 括号中，您可以看到编译时参数，或更准确地说是模板参数，并且本例中的函数在 () 括号中采用 0 个运行时参数。最后一个编译时参数有一个默认参数，用于检查函数是否应该编译（enable_if 类型）。如果您想更清楚地了解什么使能，您应该搜索术语 SFINAE，这是一种模板元编程技术，用于确定函数或类是否应该存在。

这是一个简短的 SFINAE 示例：

template<typename T, typename = std::enable_if_t<std::is_floating_point<T>::value>>
void function(T arg)
{
}

function(0.3f);    //OK
function(0.0);     //OK double results in std::is_floating_point<double>::value == true
function("Hello"); //Does not exist (T is not floating point)

第三个函数调用失败的原因是该函数不存在。这是因为当作为模板参数传入的编译时 bool 为 false 时，启用 if 会导致该函数不存在。

std::is_floating_point<std::string>::value == false

请注意，很多人都认为 SFINAE 语法很糟糕，并且随着 C++ 20 中概念和约束的引入，许多 SFINAE 代码将不再需要。