ฉันมีสคริปต์ python ที่สามารถรับอาร์กิวเมนต์บรรทัดคำสั่งเป็นศูนย์หรือสาม (ไม่ว่ามันจะทำงานบนพฤติกรรมเริ่มต้นหรือต้องการทั้งสามค่าที่ระบุ)

ไวยากรณ์ที่เหมาะสำหรับบางสิ่งเช่น:

if a and (not b or not c) or b and (not a or not c) or c and (not b or not a):

?

หากคุณหมายถึงรูปแบบที่เรียบง่ายให้ใช้สิ่งนี้:

if (not a or not b or not c) and (a or b or c):

ซึ่งแปลชื่อคำถามของคุณ

UPDATE: ตามที่ Volatility และ Supr กล่าวไว้อย่างถูกต้องคุณสามารถใช้กฎหมายของ De Morgan และได้รับสิ่งที่เทียบเท่า:

if (a or b or c) and not (a and b and c):

คำแนะนำของฉันคือการใช้รูปแบบใดที่มีความสำคัญมากกว่าสำหรับคุณและโปรแกรมเมอร์คนอื่น ๆ วิธีแรก"มีบางสิ่งบางอย่างที่ผิดพลาด แต่ยังบางสิ่งบางอย่างที่แท้จริง"ที่สอง"มีบางอย่างที่เป็นจริง แต่ไม่ได้ทุกอย่าง" ถ้าฉันจะเพิ่มประสิทธิภาพหรือทำสิ่งนี้ในฮาร์ดแวร์ฉันจะเลือกอย่างที่สองที่นี่เพียงเลือกที่อ่านได้มากที่สุด (โดยคำนึงถึงเงื่อนไขที่คุณจะทดสอบและชื่อของพวกเขาด้วย) ฉันเลือกอย่างแรก

เกี่ยวกับ:

conditions = [a, b, c]
if any(conditions) and not all(conditions):
   ...

ตัวแปรอื่น ๆ :

if 1 <= sum(map(bool, conditions)) <= 2:
   ...

คำถามนี้มีคำตอบที่ได้รับการโหวตสูงและเป็นคำตอบที่ได้รับการยอมรับแล้ว แต่ทั้งหมดนี้ถูกเบี่ยงเบนความสนใจด้วยวิธีการต่างๆในการแสดงปัญหาบูลีนและพลาดประเด็นสำคัญ:

ฉันมีสคริปต์ python ที่สามารถรับอาร์กิวเมนต์บรรทัดคำสั่งเป็นศูนย์หรือสาม (ไม่ว่าจะทำงานตามพฤติกรรมเริ่มต้นหรือต้องการทั้งสามค่าที่ระบุ)

ตรรกะนี้ไม่ควรเป็นความรับผิดชอบของโค้ดของคุณตั้งแต่แรกแต่ควรจัดการโดยargparseโมดูล อย่ากังวลกับการเขียนคำสั่ง if ที่ซับซ้อนให้ตั้งค่าตัวแยกวิเคราะห์อาร์กิวเมนต์ของคุณแทนดังนี้:

#!/usr/bin/env python
import argparse as ap
parser = ap.ArgumentParser()
parser.add_argument('--foo', nargs=3, default=['x', 'y', 'z'])
args = parser.parse_args()
print(args.foo)

และใช่มันควรจะเป็นตัวเลือกที่ไม่ได้เป็นอาร์กิวเมนต์ตำแหน่งเพราะมันเป็นหลังจากที่ทุกตัวเลือก

แก้ไข: ที่อยู่ที่ความกังวลของ LarsH ในความคิดเห็นด้านล่างนี้เป็นตัวอย่างของวิธีที่คุณสามารถเขียนมันถ้าคุณมีบางอย่างที่คุณต้องการติดต่อกับทั้ง 3 หรือ 0ตำแหน่ง args ฉันมีความเห็นว่าอินเทอร์เฟซก่อนหน้านี้มีสไตล์ที่ดีกว่าเนื่องจากอาร์กิวเมนต์ที่เป็นทางเลือกควรเป็นตัวเลือกแต่นี่คือแนวทางอื่นเพื่อความสมบูรณ์ สังเกต kwarg ที่ลบล้างusageเมื่อสร้างโปรแกรมแยกวิเคราะห์ของคุณเพราะargparseจะสร้างข้อความการใช้งานที่ทำให้เข้าใจผิดโดยอัตโนมัติ!

#!/usr/bin/env python
import argparse as ap
parser = ap.ArgumentParser(usage='%(prog)s [-h] [a b c]\n')
parser.add_argument('abc', nargs='*', help='specify 3 or 0 items', default=['x', 'y', 'z'])
args = parser.parse_args()
if len(args.abc) != 3:
  parser.error('expected 3 arguments')
print(args.abc)

นี่คือตัวอย่างการใช้งานบางส่วน:

# default case
wim@wim-zenbook:/tmp$ ./three_or_none.py 
['x', 'y', 'z']

# explicit case
wim@wim-zenbook:/tmp$ ./three_or_none.py 1 2 3
['1', '2', '3']

# example failure mode
wim@wim-zenbook:/tmp$ ./three_or_none.py 1 2 
usage: three_or_none.py [-h] [a b c]
three_or_none.py: error: expected 3 arguments

ฉันจะไปเพื่อ:

conds = iter([a, b, c])
if any(conds) and not any(conds):
    # okay...

ฉันคิดว่าสิ่งนี้น่าจะลัดวงจรได้อย่างมีประสิทธิภาพ

คำอธิบาย

โดยการสร้างcondsตัววนซ้ำการใช้anyจะลัดวงจรครั้งแรกและปล่อยให้ตัววนซ้ำชี้ไปยังองค์ประกอบถัดไปหากรายการใดเป็นจริง Falseมิฉะนั้นก็จะใช้รายชื่อทั้งหมดและ ต่อไปanyจะนำรายการที่เหลือมาทำซ้ำและตรวจสอบให้แน่ใจว่าไม่มีค่าจริงอื่นใด ... หากมีข้อความทั้งหมดจะไม่เป็นจริงจึงไม่มีองค์ประกอบที่ไม่ซ้ำกัน (ดังนั้นการลัดวงจร อีกครั้ง) สุดท้ายanyทั้งสองจะกลับมาFalseหรือจะหมด iterable Trueและ

หมายเหตุ: ข้างต้นจะตรวจสอบว่ามีการตั้งเงื่อนไขเพียงข้อเดียวหรือไม่

หากคุณต้องการตรวจสอบว่ามีการตั้งค่ารายการตั้งแต่หนึ่งรายการขึ้นไป แต่ไม่ใช่ทุกรายการคุณสามารถใช้:

not all(conds) and any(conds)

ประโยคภาษาอังกฤษ:

“ ถ้า a หรือ b หรือ c แต่ไม่ใช่ทั้งหมด”

แปลเป็นตรรกะนี้:

(a or b or c) and not (a and b and c)

คำว่า "แต่" มักจะมีความหมายถึงการรวมหรืออีกนัยหนึ่งคือ "และ" นอกจากนี้ "ทั้งหมดของพวกเขา" แปลว่าจะร่วมของสภาพ: สภาพนี้และสภาพที่และเงื่อนไขอื่น ๆ "not" จะสลับการเชื่อมต่อทั้งหมดนั้น

ฉันไม่เห็นด้วยกับคำตอบที่ได้รับการยอมรับ ผู้เขียนละเลยที่จะใช้การตีความที่ตรงไปตรงมาที่สุดกับข้อกำหนดและละเลยที่จะใช้กฎของเดอมอร์แกนเพื่อลดความซับซ้อนของนิพจน์ให้กับตัวดำเนินการน้อยลง:

 not a or not b or not c  ->  not (a and b and c)

ในขณะที่อ้างว่าคำตอบคือ "รูปแบบน้อยที่สุด"

ผลตอบแทนนี้ถ้าใครและมีเพียงหนึ่งในสามของเงื่อนไขคือTrue Trueอาจเป็นสิ่งที่คุณต้องการในโค้ดตัวอย่างของคุณ

if sum(1 for x in (a,b,c) if x) == 1:

สิ่งที่เกี่ยวกับ: (เงื่อนไขเฉพาะ)

if (bool(a) + bool(b) + bool(c) == 1):

สังเกตว่าหากคุณอนุญาตสองเงื่อนไขเกินไปคุณก็สามารถทำได้

if (bool(a) + bool(b) + bool(c) in [1,2]):

เพื่อความชัดเจนคุณต้องการตัดสินใจโดยพิจารณาจากจำนวนพารามิเตอร์ที่เป็นตรรกะ TRUE (ในกรณีของอาร์กิวเมนต์สตริง - ไม่ว่างเปล่า)?

argsne = (1 if a else 0) + (1 if b else 0) + (1 if c else 0)

จากนั้นคุณได้ทำการตัดสินใจ:

if ( 0 < argsne < 3 ):
 doSth() 

ตอนนี้ตรรกะชัดเจนมากขึ้น

และทำไมไม่นับพวกเขา?

import sys
a = sys.argv
if len(a) = 1 :  
    # No arguments were given, the program name count as one
elif len(a) = 4 :
    # Three arguments were given
else :
    # another amount of arguments was given

หากคุณไม่รังเกียจที่จะเป็นความลับเล็กน้อยคุณสามารถม้วนแบบจำลอง0 < (a + b + c) < 3ซึ่งจะกลับมาtrueหากคุณมีข้อความจริงระหว่างหนึ่งถึงสองข้อความและเท็จถ้าทั้งหมดเป็นเท็จหรือไม่มีเลยเป็นเท็จ

นอกจากนี้ยังช่วยลดความยุ่งยากหากคุณใช้ฟังก์ชันเพื่อประเมินบูลเนื่องจากคุณประเมินตัวแปรเพียงครั้งเดียวซึ่งหมายความว่าคุณสามารถเขียนฟังก์ชันแบบอินไลน์ได้และไม่จำเป็นต้องเก็บตัวแปรไว้ชั่วคราว (ตัวอย่าง: 0 < ( a(x) + b(x) + c(x) ) < 3.)

คำถามระบุว่าคุณต้องการอาร์กิวเมนต์ทั้งสาม (a และ b และ c) หรือไม่มีเลย (ไม่ใช่ (a หรือ b หรือ c))

สิ่งนี้ให้:

(a และ b และ c) หรือไม่ (a หรือ b หรือ c)

ตามที่ฉันเข้าใจคุณมีฟังก์ชันที่รับ 3 อาร์กิวเมนต์ แต่ถ้าไม่เป็นเช่นนั้นจะทำงานตามพฤติกรรมเริ่มต้น เนื่องจากคุณยังไม่ได้อธิบายว่าจะเกิดอะไรขึ้นเมื่อมีการให้ 1 หรือ 2 อาร์กิวเมนต์ฉันจะถือว่ามันควรจะเป็นพฤติกรรมเริ่มต้น ในกรณีนี้ฉันคิดว่าคุณจะพบคำตอบต่อไปนี้เป็นประโยชน์มาก:

def method(a=None, b=None, c=None):
    if all([a, b, c]):
        # received 3 arguments
    else:
        # default behavior

อย่างไรก็ตามหากคุณต้องการให้อาร์กิวเมนต์ 1 หรือ 2 จัดการแตกต่างกัน:

def method(a=None, b=None, c=None):
    args = [a, b, c]
    if all(args):
        # received 3 arguments
    elif not any(args):
        # default behavior
    else:
        # some args (raise exception?)

หมายเหตุ:ถือว่าFalseค่า "" จะไม่ถูกส่งผ่านไปยังวิธีนี้

หากคุณทำงานกับผู้ทำซ้ำเงื่อนไขอาจทำให้เข้าถึงได้ช้า แต่คุณไม่จำเป็นต้องเข้าถึงแต่ละองค์ประกอบมากกว่าหนึ่งครั้งและคุณไม่จำเป็นต้องอ่านทั้งหมดเสมอไป นี่คือวิธีแก้ปัญหาที่จะทำงานร่วมกับเครื่องกำเนิดไฟฟ้าที่ไม่มีที่สิ้นสุด:

#!/usr/bin/env python3
from random import randint
from itertools import tee

def generate_random():
    while True:
        yield bool(randint(0,1))

def any_but_not_all2(s): # elegant
    t1, t2 = tee(s)
    return False in t1 and True in t2 # could also use "not all(...) and any(...)"

def any_but_not_all(s): # simple
    hadFalse = False
    hadTrue = False
    for i in s:
        if i:
            hadTrue = True
        else:
            hadFalse = True
        if hadTrue and hadFalse:
            return True
    return False


r1, r2 = tee(generate_random())
assert any_but_not_all(r1)
assert any_but_not_all2(r2)

assert not any_but_not_all([True, True])
assert not any_but_not_all2([True, True])

assert not any_but_not_all([])
assert not any_but_not_all2([])

assert any_but_not_all([True, False])
assert any_but_not_all2([True, False])

เมื่อทุกที่กำหนดboolเป็นTrueหรือเมื่อได้รับทุกคนboolมีFalse ...
พวกเขาทั้งหมดจะเท่ากับแต่ละอื่น ๆ !

ดังนั้นเราต้องหาสององค์ประกอบที่ประเมินเป็นbools ที่ต่างกัน
เพื่อให้รู้ว่ามีอย่างน้อยหนึ่งอย่างTrueและอย่างน้อยหนึ่งFalseและที่หนึ่งอย่างน้อย

วิธีแก้ปัญหาสั้น ๆ ของฉัน:

not bool(a)==bool(b)==bool(c)

ฉันเชื่อว่ามันลัดวงจรทำให้ AFAIK a==b==cเท่ากับa==b and b==cเท่ากับ

วิธีแก้ปัญหาทั่วไปของฉัน:

def _any_but_not_all(first, iterable): #doing dirty work
    bool_first=bool(first)
    for x in iterable:
        if bool(x) is not bool_first:
            return True
    return False

def any_but_not_all(arg, *args): #takes any amount of args convertable to bool
    return _any_but_not_all(arg, args)

def v_any_but_not_all(iterable): #takes iterable or iterator
    iterator=iter(iterable)
    return _any_but_not_all(next(iterator), iterator)

ฉันเขียนโค้ดที่เกี่ยวข้องกับการวนซ้ำหลายรายการ แต่ฉันลบออกจากที่นี่เพราะฉันคิดว่ามันไม่มีจุดหมาย แต่มันยังคงมีอยู่ที่นี่

โดยพื้นฐานแล้วเป็นฟังก์ชัน "บางส่วน (แต่ไม่ใช่ทั้งหมด)" (เมื่อเปรียบเทียบกับฟังก์ชันany()และall()ฟังก์ชันในตัว)

นี่หมายความว่าควรมีFalses และ True s อยู่ในผลลัพธ์ ดังนั้นคุณสามารถทำสิ่งต่อไปนี้:

some = lambda ii: frozenset(bool(i) for i in ii).issuperset((True, False))

# one way to test this is...
test = lambda iterable: (any(iterable) and (not all(iterable))) # see also http://stackoverflow.com/a/16522290/541412

# Some test cases...
assert(some(()) == False)       # all() is true, and any() is false
assert(some((False,)) == False) # any() is false
assert(some((True,)) == False)  # any() and all() are true

assert(some((False,False)) == False)
assert(some((True,True)) == False)
assert(some((True,False)) == True)
assert(some((False,True)) == True)

ข้อดีอย่างหนึ่งของรหัสนี้คือคุณต้องวนซ้ำเพียงครั้งเดียวผ่านรายการ (บูลีน) ที่เป็นผลลัพธ์

ข้อเสียอย่างหนึ่งคือนิพจน์ความจริงทั้งหมดเหล่านี้จะได้รับการประเมินเสมอและไม่ทำการลัดวงจรเหมือนตัวดำเนินการor/and