將默認值作爲忽略它們的參數傳遞

Question

我需要將表示向量01​​s的字符串轉換爲相應的向量。

我的問題是，我想通過一個簡單的參數：轉換器功能。這裏的split：

template <class T> 
auto split(const std::string &s, const std::function<T(const std::string&)> &convert, char sep = ',') -> std::vector<T> 
{ 
    std::stringstream ss(s); 
    std::vector<T> result; 

    while (ss.good()) 
    { 
     std::string substr; 
     std::getline(ss, substr, sep); 
     if (!substr.empty()) 
      result.push_back(convert(substr)); 
    } 
    return result; 
}; 

它無法通過標準功能時，如因std::stoi的std::stoi默認參數爲它的簽名是int stoi(const string& __str, size_t* __idx = 0, int __base = 10);編譯：

auto q = split<int>(subs, std::stoi); 

error: no matching function for call to 'split' 
      auto q = split<int>(subs, std::stoi); 
        ^~~~~~~~~~ 

很顯然我可以欺騙編譯器使用lambda函數：

auto q = split<std::size_t>(subs, [](const std::string &s){ return std::stoul(s); }); 

是否有一個元編程技巧，允許我索姆ehow 忽略的默認參數？

Answer 1

#define RETURNS(...) \ 
    noexcept(noexcept(__VA_ARGS__)) \ 
    -> decltype(__VA_ARGS__) \ 
    { return __VA_ARGS__; } 

#define OVERLOADS_OF(...) \ 
    [](auto&&...args) \ 
    RETURNS(__VA_ARGS__(decltype(args)(args)...) 

這個宏讓你把一個函數的名稱，並生成一個包含它的重載拉姆達。

auto q = split<std::size_t>(subs, OVERLOADS_OF(std::stroul)); 

這是很好和簡潔。

默認參數只能通過調用()來調用函數的實際名稱，「將名稱移動到不同的上下文中」的唯一方法是將其作爲文本填充到lambda表達式中。

順便說一下，@ barry有一個c++2a建議，用代替上面的RETURNS(X)代表lambdas。我不知道目前維護的提案取代OVERLOADS_OF宏（曾經有一段時間）。

可能c++2a反射提議將允許您訪問函數名稱的默認參數和重載集，然後幻想元編程會讓您在沒有宏的情況下生成OVERLOADS_OF。

Answer 2

編輯：這實際上並沒有幫助在這種情況下。我要離開它，因爲它在其他一些情況下很有用，例如，如果您的函數返回了可兌換爲T的東西，但它沒有解決與stoi有關的任何問題。

---

不明確指定函數的類型。假設convert是任何類型;如果您嘗試傳遞某些無法在std::string上調用的東西，或者不會返回可轉換爲T的東西，那麼您會收到錯誤消息。沒有理由限制這種類型，除非你明確地具有它需要的特定類型的原因，在這種情況下你不需要。

因此，你可以聲明功能

template <class T, class F> 
auto split(const std::string &s, const F&& convert, char sep = ',') -> std::vector<T>