polymorphic-functions

    0熱度

    1回答

    我試圖在函子上使用std::result_of。爲什麼我會得到這些結果? #include <typeinfo> struct my_logical_not { template<typename A> bool operator()(const A &value) const { return !value; } }; struct my_pa

    1熱度

    2回答

    假設我需要不同的輸出,具體取決於函數的多態參數的類型。我的初始嘗試失敗一些神祕的錯誤消息: choice :: a -> Int choice (_ :: Int) = 0 choice (_ :: String) = 1 choice _ = 2 然而,我們可以通過在不同的數據構造包裹所需類型固定,很容易並使用這些中的模式匹配: data Choice a = IntChoice In

    1熱度

    2回答

    我沒有看到這個bug在此實現: CREATE FUNCTION foo(anyelement) RETURNS SETOF int AS $f$ SELECT id FROM unnest(array[1,2,3]) t(id) WHERE CASE WHEN (pg_typeof($1)::text)='integer' THEN $1::int>2 ELSE true EN

    0熱度

    2回答

    我正試圖在postgresql中實現訪問函數'isnull'這個函數將一個表達式作爲參數,如果null已經傳遞,函數返回true;如果它不爲null,則返回false。我知道postgres有'IS NULL'和'NOT NULL'關鍵字在我將字符串或空值本身傳遞給函數時,我不斷收到多態錯誤,因爲它們都是未知類型。 該方法必須使用函數完成。 我到目前爲止有: CREATE OR REPLACE F

    0熱度

    2回答

    我有這樣的多態函數: def findFirst[A](as: Array[A], p: A => Boolean): Int = { @annotation.tailrec def loop(n: Int): Int = { if(n >= as.length) -1 else if(p(as(n))) n else loop(n + 1)