＆*爲原始指針，迭代器和... std :: nullptr_t

Question

我有一個模板函數啓用（通過std :: enable_if）其參數是一個原始指針，或有一個std :: iterator類別或是一個std :: nullptr_t。在該功能中，原始指針（數據成員）被設定等於參數，像：

template<class T> void myFunction(T it) 
{ 
    _ptr = &*it; 
} 

的& *行之有效的指針和迭代器......但它不能爲一個std :: nullptr_t 。是否有任何解決方案可以避免編寫2個不同的功能？

謝謝。

Answer 1

最簡單的事情是改變函數有兩個重載，一個用於原始指針/ nullptr_t，它只存儲SFINAE爲當前實現的迭代器選擇的值和一個值，儘管您應該注意到這會在某些情況下失敗情況（特別是如果iterator::value_type過載一元operator&）。

Answer 2

一如往常，我們可以用的特性來解決這個問題。這一次，我們不要寫一個完整的類，因爲一個簡單的函數重載就足夠了。

#include <cstddef> 
#include <memory> 

template <typename T> 
T get_addr(T t) { return std::addressof(*t); } // #1 

std::nullptr_t get_addr(std::nullptr_t np) { return np; } 

用法：

T _ptr = get_addr(it); 

（這個特點同樣適用，如果類型指向T重載operator&）

你被邀請看守過載#1具有相同enable_if條件你在主模板中有。