是否有一個constexpr可以讓我確定是否有特定型別的輸出運算子(<<)？

為了防止編譯器將例如 astd::vector<T>應用于類似的陳述句std::cout << u，我想做這樣的事情：

if constexpr (std::has_output_operator<U>) {
    std::cout << u;
}

有沒有辦法做到這一點？

編輯（澄清）我正在研究類似 printf 的函式，它還可以列印 POD 和字串（及其向量）的字串和向量。

我想將此功能擴展到具有輸出運算子的任何型別。

非向量型別的實際格式化由函式完成simpleFormat()：

// simpleFormat
//  special case for single string
//
std::string simpleFormat(const std::string sFormat, const std::string t) {
    size_t required = snprintf(NULL, 0, sFormat.c_str(), t.c_str());
    char sTemp[required 1];
    sprintf(sTemp, sFormat.c_str(), t.c_str());
    return std::string(sTemp);
} 

// simpleFormat
//  catch for vectors (should not be sent to simpleFormat)
template<typename T>
std::string simpleFormat(const std::string sFormat, const std::vector<T> t) {
    return "";
}

// simpleFormat
//  formatting PODs and Objects with output operator a char using     
template<typename T>
std::string simpleFormat(const std::string sFormat, const T t) {
    std::string sRes = "";

    if (sFormat.size() > 0) {
        if (sFormat != "%O") {
            size_t required = snprintf(NULL, 0, sFormat.c_str(), t);
            char sTemp[required 1];
            sprintf(sTemp, sFormat.c_str(), t);
            sRes = std::string(sTemp);
        } else {
            std::stringstream ss("");
            ss << t;
            sRes  = ss.str();    
        }
    } 

   return sRes;
}

當我為某些應用程式編譯它時，得到錯誤

In file included from AgentCounter.cpp:6: 
../utils/stdstrutilsT.h: In instantiation of ‘std::string simpleFormat(std::string, T) [with T = __gnu_cxx::__normal_iterator<std::__cxx11::basic_string<char>*, std::vector<std::__cxx11::basic_string<char> > >; std::string = std::__cxx11::basic_string<char>]’: 
../utils/stdstrutilsT.h:195:33:   required from ‘std::string recursiveFormat(stringvec&, stringvec&, uint, T, Args ...) [with T = __gnu_cxx::__normal_iterator<std::__cxx11::basic_string<char>*, std::vector<std::__cxx11::basic_string<char> > >; Args = {long long unsigned int}; std::string = std::__cxx11::basic_string<char>; stringvec = std::vector<std::__cxx11::basic_string<char> >; uint = unsigned int]’ 
../utils/stdstrutilsT.h:281:31:   required from ‘std::string stdsprintf(std::string, Args ...) [with Args = {__gnu_cxx::__normal_iterator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, long long unsigned int}; std::string = std::__cxx11::basic_string<char>]’ 
../utils/stdstrutilsT.h:291:34:   required from ‘void stdprintf(std::string, Args ...) [with Args = {__gnu_cxx::__normal_iterator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >*, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > >, long long unsigned int}; std::string = std::__cxx11::basic_string<char>]’ 
AgentCounter.cpp:326:22:   required from here 
../utils/stdstrutilsT.h:165:28: error: no match for ‘operator<<’ (operand types are ‘std::stringstream’ {aka ‘std::__cxx11::basic_stringstream<char>’} and ‘const __gnu_cxx::__normal_iterator<std::__cxx11::basic_string<char>*, std::vector<std::__cxx11::basic_string<char> > >’) 
 165 |                         ss << t; 
     |                         ~~~^~~~ 

即使我有simpleFormat()向量的變體，編譯器仍然希望適合std::vectorPOD 變體。

這就是為什么我希望有constexpr它可以讓我找出傳遞的型別是否有輸出運算子。

當然，如果還有其他可能阻止編譯器將向量應用于我的非向量函式，我想了解它們。

uj5u.com熱心網友回復：

這可以使用 C 20 requires-expression直接完成，該運算式檢查其運算元是否有效：

if constexpr (requires { std::cout << u; })

您還可以使用requires-expression定義一個命名概念，然后在每次需要時使用它來代替requires-expression 。

標籤：C if-constexpr

上一篇：鏈成員初始化器

下一篇：為特定目標繞過CMake中的“find_package”？