sfinae

7熱度

4回答

爲什麼decltype（declval <T>（）.func（））在decltype（＆T :: func）不工作的地方工作？

我試圖檢測模板參數的成員函數baz()的存在： template<typename T, typename = void> struct ImplementsBaz : public std::false_type { }; template<typename T> struct ImplementsBaz<T, decltype(&T::baz)> : public std::true_

c++ c++11 template-specialization sfinae member-functions 2017-07-25

---

4熱度

2回答

C++ SFINAE解析順序

我有兩個功能 template <typename... Args> void foo(Args&&... args) { /* ... */ } template <typename... Args> void foo(const std::string& name, Args&&... args) { /* ... */ } 目前像foo("bar", /* arguments *

c++ c++14 sfinae variadic-functions enable-if 2017-08-04

---

4熱度

2回答

檢查模板函數的存在

如何檢查這樣的模板函數的存在：檢查是否reader結構有read算術值 struct reader { template<typename T> std::enable_if_t<std::is_arithmetic<T>::value, T> read() { return {}; } }; 我用一個檢查這樣的： template <typenam

c++ templates c++14 sfinae 2017-08-06

---

5熱度

2回答

如何實現一個構造函數，以便它只接受使用typeid的輸入迭代器？

我想實現某個對象的範圍構造函數，但我想限制它只接受兩個輸入迭代器。 我試着用gcc 7.1.0來編譯這段代碼。 文件test.cpp #include <vector> #include <type_traits> #include <typeinfo> template <typename Iterator> using traits = typename std::iterator_

c++ constructor iterator c++14 sfinae 2017-08-08

---

5熱度

1回答

重載分辨率

微軟編譯器（Visual Studio中2017 15.2）拒絕以下代碼： #include <type_traits> struct B { template<int n, std::enable_if_t<n == 0, int> = 0> void f() { } }; struct D : B { using B::f; templat

c++ c++14 sfinae overload-resolution using-declaration 2017-08-08

---

13熱度

1回答

派生類的模板專業化

我有一個模板類（我無法修改），我們將其稱爲SomeClass，我想專門針對僅從特定類派生的類。在this answer之後，我能夠在gcc 6.3.1中做到這一點，但是不幸的是我需要在gcc 4.9.2中做到這一點，並且在編譯時失敗，說「部分專業化SomeClass<T>沒有專門化任何模板參數」。 有沒有什麼辦法可以改變下面，讓它與gcc 4.9.2一起工作？ #include <iostream

c++ c++11 templates sfinae 2017-08-14

---

1熱度

1回答

沒有定義的類的功能不會導致錯誤

當我遇到SFINAE的示例代碼時，我正在學習一些C++習慣用法，我對代碼感到困惑。 說明：is_ptr()沒有定義。 我自己編譯代碼，沒有關於函數定義不足的編譯器錯誤，爲什麼？ sizeof()被用在其中一個調用上，它顯然是在函數的返回值上執行的，但是再次沒有定義。這怎麼可能？ template <typename T> struct is_pointer { template <t

c++ templates metaprogramming sfinae 2017-08-28

---

4熱度

3回答

SFINAE：檢查兩個可變參數包的連接是否與一個包相同

有沒有辦法檢查兩個可變參數包的連接是否與第三個可變參數包相同。 template<typename... Args> struct ClassOne { } template<typename... Args> struct ClassTwo { } template<typename... Args> struct ClassThree { } template<t

templates c++14 variadic-templates template-meta-programming sfinae 2017-09-02

---

14熱度

3回答

如何檢測一個類型是否是std :: tuple或不是？

爲什麼我對這段代碼有奇怪的輸出？如何以正確的方式測試類型？ #include <iostream> #include <tuple> #include <type_traits> template<typename T> struct is_tuple : std::false_type {}; template<typename... Ts> struct is_tuple<std::

c++ c++11 template-meta-programming sfinae 2017-09-07

---

0熱度

1回答

SFINAE與VC++編譯器

我目前正在嘗試用VC++編譯器編譯一個簡單的SFINAE結構。我的（根據CL命令）版本 Microsoft (R) C/C++ Optimizing Compiler Version 19.00.24215.1 for x86 這個代碼編譯罰款鏗鏘 // Example program #include <iostream> #include <string> #include <typ

c++ templates visual-c++ metaprogramming sfinae 2017-07-26

---