在內聯constexpr函數內使用可變模板而不暴露變量模板？

Question

是否可以在內聯constexpr函數內使用變量模板而不暴露變量模板本身？

例如，該編譯和工作原理：

template<typename T> constexpr T twelve_hundred = T(1200.0); 

template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    return cents/twelve_hundred<T>; 
} 

但是，這並不編譯：

template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    template<typename U> constexpr U twelve_hundred = U(1200.0); 
    return cents/twelve_hundred<T>; 
} 

的原因似乎是，模板聲明在塊範圍內不準（GCC給出了關於這方面的信息錯誤消息，鐺不）。

要更詳細地重複動機，該函數是內聯的並且在頭文件中定義，並且我不想在包含頭文件的任何位置公開變量模板。

我想我可以定義一個詳細的命名空間，並把變量模板放在那裏，但更好的是不暴露變量模板。也許這是不可能的。

Answer 1

從標準，我們有：

模板聲明是一個聲明。 [...]。由變量的模板聲明引入的聲明是可變模板。 [...]

和：

模板聲明只能出現一個命名空間範圍或類範圍的聲明。

因此不，不允許。
你仍然可以把它包裝在一個類中，使兩者的數據成員和成員函數的靜態，如果你不希望暴露它：

class C { 
    template<typename T> 
    static constexpr T twelve_hundred = T(1200.0); 

public: 
    template<typename T> 
    static constexpr T centsToOctaves(const T cents) { 
     return cents/twelve_hundred<T>; 
    } 
}; 

int main() { 
    C::centsToOctaves(42); 
} 

另一種可能的解決方案是：

class C { 
    template<typename T> 
    static constexpr T twelve_hundred = T(1200.0); 

    template<typename T> 
    friend inline constexpr T centsToOctaves(const T cents); 
}; 

template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    return cents/C::twelve_hundred<T>; 
} 

int main() { 
    centsToOctaves(42); 
} 

它有加centsToOctaves不再是C的成員函數，如註釋中所述。

話雖這麼說，我不明白是什麼阻止你只是這樣做：

template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    return cents/T{1200}; 
} 

Answer 2

除了使用了命名空間，你也可以把模板變量爲一個類，並將其聲明爲private 。 不允許在函數作用域中聲明模板。

class Detail { 
public: 
    template<typename T> 
    static constexpr T centsToOctaves(const T cents) { 
    return cents/twelve_hundred<T>; 
    } 

private: 
    template<typename U> 
    static constexpr U twelve_hundred = U(1200.0); 
}; 

// forwarding 
template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    return Detail::centsToOctaves<T>(cents); 
} 

int main() { 
    centsToOctaves<int>(12); 
    return 0; 
} 

無關：

你可能不需要申報模板constexpr變量。既然你不能初始化後修改，替代實現，可直接使用文字：

template<typename T> 
inline constexpr T centsToOctaves(const T cents) { 
    using U = T; 
    return cents/U(1200.0); 
} 

而當你需要明確專門的模板變量，你可以專門功能模板。

template <> 
inline constexpr int centsToOctaves(const int cents) { 
    using U = int; 
    return cents/U(1200.0); 
} 

但不幸的是，這種解決方案會產生一些重複的代碼，可能會更糟。